Yu-Fang Chen 0001, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Proceedings of the ACM on Programming Languages, 7(PLDI):1218-1243, 2023. [doi]
@article{0001CLLTY23,
title = {An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits},
author = {Yu-Fang Chen 0001 and Kai-Min Chung and Ondrej Lengál and Jyun-Ao Lin and Wei-Lun Tsai and Di-De Yen},
year = {2023},
doi = {10.1145/3591270},
url = {https://doi.org/10.1145/3591270},
researchr = {https://researchr.org/publication/0001CLLTY23},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {7},
number = {PLDI},
pages = {1218-1243},
}