“An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits” by Lengál et al., applies techniques ...