Detail publikace

Verifying Quantum Circuits with Level-Synchronized Tree Automata

ABDULLA, P.; CHEN, Y.; CHEN, Y.; HOLÍK, L.; LENGÁL, O.; LIN, J.; LO, F.; TSAI, W. Verifying Quantum Circuits with Level-Synchronized Tree Automata. Proceedings of the ACM on Programming Languages, 2025, vol. 9, no. 1, p. 923-953. ISSN: 2475-1421.
Název česky
Verifikace kvantových obvodů s pomocí úrovňově synchronizovaných stromových automatů
Typ
článek v časopise
Jazyk
anglicky
Autoři
Abdulla Parosh
Chen Yu-Fang
Chen Yu-Fang
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
LIN, J.
LO, F.
TSAI, W.
URL
Klíčová slova

quantum circuits,tree automata, verification

Abstrakt

Článek zavádí nový formální model úrovňově synchronizovaných stromových automatů,
který vykazuje dobré vlastnosti pro verifikaci kvantových obvodů.

Rok
2025
Strany
923–953
Časopis
Proceedings of the ACM on Programming Languages, roč. 9, č. 1, ISSN 2475-1421
Kniha
Proceedings of POPL'25
DOI
10.1145/3704868
BibTeX 
@article{BUT193377,
  author="ABDULLA, P. and CHEN, Y. and CHEN, Y. and HOLÍK, L. and LENGÁL, O. and LIN, J. and LO, F. and TSAI, W.",
  title="Verifying Quantum Circuits with Level-Synchronized Tree Automata",
  journal="Proceedings of the ACM on Programming Languages",
  year="2025",
  volume="9",
  number="1",
  pages="923--953",
  doi="10.1145/3704868",
  issn="2475-1421",
  url="https://dl.acm.org/doi/10.1145/3704868"
}
Nahoru