Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties

Lvzhou Li, Yuan Feng

In this paper, we study a model of quantum Markov chains that is a quantum analogue of Markov chains and is obtained by replacing probabilities in transition matrices with quantum…