Quantum Markov Chains

Decomposition of quantum Markov chains and its applications
Markov chains have been widely employed as a fundamental model in the studies of probabilistic and stochastic communicating and …
引用 DOI URL
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
引用 DOI
Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties
In this paper, we study a model of quantum Markov chains that is a quantum analogue of Markov chains and is obtained by replacing …
Lvzhou Li, Yuan Feng
引用 DOI URL
Model checking quantum Markov chains
Although security of quantum cryptography is provable based on principles of quantum mechanics, it can be compromised by flaws in the …
Yuan Feng, Nengkun Yu, Mingsheng Ying
引用 DOI URL