Quantum Automata

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 Linear-Time Properties of Quantum Systems
We define a formal framework for reasoning about linear-time properties of quantum systems in which quantum automata are employed in …
Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng
引用 DOI URL