@misc{indiciae0b3f0e0404e1,
  title = {An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report)},
  author = {Yu-Fang Chen and Kai-Min Chung and Ondřej Lengál and Jyun-Ao Lin and Wei-Lun Tsai and Di-De Yen},
  year = {2023},
  url = {https://arxiv.org/abs/2301.07747},
  note = {Source identifier: 2301.07747}
}