Linear-Time Property

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