TY  - RPRT
TI  - On the Complexity of Level-Synchronized Tree Automata for Quantum Circuit Verification
AU  - Michael Blondin
AU  - Samy Chady Khoumsi-Kasmi
AU  - Guillermo A. Pérez
AU  - Marnix Suilen
PY  - 2026
UR  - https://arxiv.org/abs/2610.25138
ID  - 2610.25138
ER  -