TY  - RPRT
TI  - Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
AU  - Parosh Aziz Abdulla
AU  - Yo-Ga Chen
AU  - Yu-Fang Chen
AU  - Lukáš Holík
AU  - Ondřej Lengál
AU  - Jyun-Ao Lin
AU  - Fang-Yi Lo
AU  - Wei-Lun Tsai
PY  - 2024
UR  - https://arxiv.org/abs/2410.18540
ID  - 2410.18540
ER  -