Model Checking Omega-regular Properties for Quantum Markov Chains .

Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying

Browse the full CONCUR paper archive.