Detail publikace

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits

LENGÁL, O.; CHEN, Y.; TSAI, W.; LIN, J.; CHUNG, K.; YEN, D. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. COMMUNICATIONS OF THE ACM, 2025, vol. 68, no. 6, p. 85-93. ISSN: 0001-0782.
Název česky
Rámec pro verifikaci a hledání chyb v kvantových obvodech založený na automatech
Typ
článek v časopise
Jazyk
anglicky
Autoři
Lengál Ondřej, Ing., Ph.D. (UITS)
Chen Yu-Fang
TSAI, W.
LIN, J.
CHUNG, K.
YEN, D.
URL
Klíčová slova

quantum tree automata entanglement verification

Abstrakt

Tento článek krátce shrnuje základní výzkum v oblasti verifikace kvantových
obvodů pomocí stromových automatů.

Rok
2025
Strany
85–93
Časopis
COMMUNICATIONS OF THE ACM, roč. 68, č. 6, ISSN 0001-0782
Vydavatel
ACM
DOI
10.1145/3725728
BibTeX 
@article{BUT198194,
  author="LENGÁL, O. and CHEN, Y. and TSAI, W. and LIN, J. and CHUNG, K. and YEN, D.",
  title="An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits",
  journal="COMMUNICATIONS OF THE ACM",
  year="2025",
  volume="68",
  number="6",
  pages="85--93",
  doi="10.1145/3725728",
  issn="0001-0782",
  url="https://dl.acm.org/doi/10.1145/3725728"
}
Nahoru