4 citations · 10 across the 10 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
quant-ph2021
Model Checking Quantum Continuous-Time Markov Chains
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…
cs.LO2021★ 4 cited
An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains
Ming Xu, Jianling Fu, Jingyi Mei +1
Fidelity is one of the most widely used quantities in quantum information that measure the distance of quantum states through a noisy channel. In this paper, we introduce a quantum…