Omega-Regular Properties

Model Checking Omega-regular Properties for Quantum Markov Chains

Quantum Markov chains are an extension of classical Markov chains which are labelled with super-operators rather than probabilities. …

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