Verification of quantum systems using barrier certificates

DOI10.1007/978-3-031-43835-6_24MaRDI QIDQ6546471

Sadegh Soudjani, Marco Lewis, Paolo Zuliani

Publication date: 29 May 2024

zbMATH Keywords

dynamical systemsquantum systemsbarrier certificates

Mathematics Subject Classification ID

Quantum computation (81P68) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Automated and formal synthesis of neural barrier certificates for dynamical models
• Automated verification and synthesis of stochastic hybrid systems: a survey
• An automated deductive verification framework for circuit-building quantum programs
• Stability analysis of complex-valued nonlinear differential system
• Design of Gates for Quantum Computation: The NOT Gate
• Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
• Comparing Forward and Backward Reachability as Tools for Safety Analysis
• Formal Synthesis of Stochastic Systems via Control Barrier Certificates
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• FOSSIL
• Formal verification of quantum algorithms using quantum Hoare logic

This page was built for publication: Verification of quantum systems using barrier certificates