Model checking QCTL plus on quantum Markov chains. - Xu, Ming; Fu, Jianling; Mei, Jingyi; Deng, Yuxin (Theoretical Computer Science, 2022)