TY - RPRT TI - Measurement-based Verification of Quantum Markov Chains AU - Ji Guan AU - Yuan Feng AU - Andrea Turrini AU - Mingsheng Ying PY - 2024 UR - https://arxiv.org/abs/2405.05825 ID - 2405.05825 ER -