Although various dynamic or temporal logics have been proposed to verify quantum
protocols and systems, these two viewpoints have not been studied comprehensively …

Inspired by the results of finite automata working on infinite words, we studied the quantum
ω-automata with Büchi, Muller, Rabin and Streett acceptance condition. Quantum finite …

Quantum finite automata (QFAs) have been extensively studied in the literature. In this
paper, we define and systematically study quantum Büchi automata (QBAs) over infinite …