Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains

Ming Xu, Jingyi Mei, Ji Guan +2

Verifying quantum systems has attracted a lot of interest in the last decades.In this paper, we study the quantitative model-checking of quantum continuous-time Markov chains (quan…