Measurement-based Verification of Quantum Markov Chains

Ji Guan, Yuan Feng, Andrea Turrini +1

Model-checking techniques have been extended to analyze quantum programs and communication protocols represented as quantum Markov chains, an extension of classical Markov chains.…