Verification of Quantum Circuits Through Barrier Certificates Using a Scenario Approach. - Siwei Hu; Victor Lopata; Sadegh Soudjani; Paolo Zuliani (QSW, 2025)