1 paper
Ming Xu, Jingyi Mei, Ji Guan +1
Verifying quantum systems has attracted a lot of interests in the last decades. In this paper, we initialised the model checking of quantum continuous-time Markov chain (QCTMC). As…