Quantum Engineering Systems

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