Quantum computing [Google Scholar] Papers related to Quantum computing An automata-based framework for verification and bug hunting in quantum circuits [chen:pldi:2023]
