TY  - RPRT
TI  - Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach
AU  - Siwei Hu
AU  - Victor Lopata
AU  - Sadegh Soudjani
AU  - Paolo Zuliani
PY  - 2025
UR  - https://arxiv.org/abs/2506.07635
ID  - 2506.07635
ER  -