Details for the publication GuanFTY24.

Ji Guan, Yuan Feng (), Andrea Turrini, Mingsheng Ying: Measurement-based Verification of Quantum Markov Chains. In CAV'24, Lecture Notes in Computer Science, 2024. URL BIB