TY  - RPRT
TI  - Verification of Quantum Systems using Barrier Certificates
AU  - Marco Lewis
AU  - Paolo Zuliani
AU  - Sadegh Soudjani
PY  - 2023
DO  - 10.1007/978-3-031-43835-6_24
UR  - https://arxiv.org/abs/2307.07307
ID  - 2307.07307
ER  -