@misc{indiciae8cb697953dfe,
  title = {On the Complexity of Level-Synchronized Tree Automata for Quantum Circuit Verification},
  author = {Michael Blondin and Samy Chady Khoumsi-Kasmi and Guillermo A. Pérez and Marnix Suilen},
  year = {2026},
  url = {https://arxiv.org/abs/2610.25138},
  note = {Source identifier: 2610.25138}
}