@misc{indiciae2c62a0e07bfc,
  title = {Verification of Quantum Circuits through Discrete-Time Barrier Certificates},
  author = {Marco Lewis and Sadegh Soudjani and Paolo Zuliani},
  year = {2024},
  url = {https://arxiv.org/abs/2408.07591},
  note = {Source identifier: 2408.07591}
}