TY  - RPRT
TI  - QReach: A Reachability Analysis Tool for Quantum Markov Chains
AU  - Aochu Dai
AU  - Mingsheng Ying
PY  - 2025
DO  - 10.1007/978-3-031-65633-0_23
UR  - https://arxiv.org/abs/2512.04497
ID  - 2512.04497
ER  -