@misc{indiciaeedbc452034b1,
  title = {Verification of Quantum Systems using Barrier Certificates},
  author = {Marco Lewis and Paolo Zuliani and Sadegh Soudjani},
  year = {2023},
  doi = {10.1007/978-3-031-43835-6\_24},
  url = {https://arxiv.org/abs/2307.07307},
  note = {Source identifier: 2307.07307}
}