43 citations · 180 across the 26 of their papers we have counts for
Showing 2021 · quant-phShow all
2 papers · 2 filters
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…
quant-ph2021★ 43 cited
Quantum Algorithm for Fidelity Estimation
Qisheng Wang, Zhicheng Zhang, Kean Chen +4
For two unknown mixed quantum states and in an -dimensional Hilbert space, computing their fidelity is a basic problem with many important applications in quant…