@misc{indiciaed8caafe9a4f3,
  title = {Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)},
  author = {Parosh Aziz Abdulla and Yo-Ga Chen and Yu-Fang Chen and Lukáš Holík and Ondřej Lengál and Jyun-Ao Lin and Fang-Yi Lo and Wei-Lun Tsai},
  year = {2024},
  url = {https://arxiv.org/abs/2410.18540},
  note = {Source identifier: 2410.18540}
}