activity
20242026
most citedEquivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting

2 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

cs.LO2024★ 1 cited

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)

Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh +4

We present a verifier of quantum programs called AutoQ 2.0. Quantum programs extend quantum circuits (the domain of AutoQ 1.0) by classical control flow constructs, which enable us…

cs.LO2024

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)

Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen +5

We present a new method for the verification of quantum circuits based on a novel symbolic representation of sets of quantum states using level-synchronized tree automata (LSTAs).…