2 citations · 2 across the 1 of their papers we have counts for
1 paper
Mingsheng Ying, Yangjia Li, Nengkun Yu +1
We define a formal framework for reasoning about linear-time properties of quantum systems in which quantum automata are employed in the modeling of systems and certain closed subs…