Detail publikace

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

CHEN Yu-Fang, CHUNG Kai-Min, LENGÁL Ondřej, LIN Jyun-ao, TSAI Wei-lun a YEN Di-de. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Communications of the ACM, roč. 68, č. 6, 2025, s. 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
angličtina
Autoři
Chen Yu-Fang (ASIN)
Chung Kai-Min (ASIN)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Lin Jyun-ao (ASIN)
Tsai Wei-lun (ASIN)
Yen Di-de (MPI-SWS)
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
DOI
10.1145/3725728
BibTeX 
@ARTICLE{FITPUB13536,
   author = "Yu-Fang Chen and Kai-Min Chung and Ond\v{r}ej Leng\'{a}l and Jyun-ao Lin and Wei-lun Tsai and Di-de Yen",
   title = "An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits",
   pages = "85--93",
   journal = "Communications of the ACM",
   volume = 68,
   number = 6,
   year = 2025,
   ISSN = "0001-0782",
   doi = "10.1145/3725728",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13536"
}
Nahoru