Measurement-Based Verification of Quantum Markov Chains.

Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying

Browse the full CAV paper archive.