@misc{indiciaeb480e4c0eee3,
  title = {Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach},
  author = {Siwei Hu and Victor Lopata and Sadegh Soudjani and Paolo Zuliani},
  year = {2025},
  url = {https://arxiv.org/abs/2506.07635},
  note = {Source identifier: 2506.07635}
}