Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains (Logical Methods in Computer Science, 2025)