Verification of Quantum Systems Using Barrier Certificates

Marco Lewis, Paolo Zuliani, Sadegh Soudjani. Verification of Quantum Systems Using Barrier Certificates. In Nils Jansen 0001, Mirco Tribastone, editors, Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Volume 14287 of Lecture Notes in Computer Science, pages 346-362, Springer, 2023. [doi]

Abstract

Abstract is missing.