Image de couverture de livre

Verification of Quantum Circuits through Discrete-Time Barrier Certificates

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Lewis, Marco, Soudjani, Sadegh, Zuliani, Paolo
Format:	Preprint
Publié:	2024
Sujets:	Quantum Physics Logic in Computer Science Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach
par: Hu, Siwei, et autres
Publié: (2025)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
par: Lewis, Marco, et autres
Publié: (2021)

Automated Verification of Silq Quantum Programs using SMT Solvers
par: Lewis, Marco, et autres
Publié: (2024)

Barrier Certificates for Uncertain Temporal Specifications
par: Mamduhi, Mohammad H., et autres
Publié: (2026)

Safe Reach Set Computation via Neural Barrier Certificates
par: Abate, Alessandro, et autres
Publié: (2024)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
par: Schön, Oliver, et autres
Publié: (2023)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
par: Murali, Vishnu, et autres
Publié: (2026)

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
par: Schön, Oliver, et autres
Publié: (2024)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
par: Henzinger, Thomas A., et autres
Publié: (2025)

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
par: Monir, Negar, et autres
Publié: (2025)

Closure Certificates
par: Murali, Vishnu, et autres
Publié: (2023)

Quantitative Supermartingale Certificates
par: Abate, Alessandro, et autres
Publié: (2025)

Control Closure Certificates
par: Murali, Vishnu, et autres
Publié: (2025)

Finding Photonics Circuits via $δ$-weakening SMT
par: Lewis, Marco, et autres
Publié: (2025)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
par: Edwards, Alec, et autres
Publié: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
par: Edwards, Alec, et autres
Publié: (2023)

T-Count Optimizing Genetic Algorithm for Quantum State Preparation
par: Wright, Andrew, et autres
Publié: (2024)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
par: Monir, Negar, et autres
Publié: (2026)

Verification of Recursively Defined Quantum Circuits
par: Ying, Mingsheng, et autres
Publié: (2024)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
par: Wooding, Ben, et autres
Publié: (2026)

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
par: Casablanca, Ernesto, et autres
Publié: (2025)

Stochastic Omega-Regular Verification and Control with Supermartingales
par: Abate, Alessandro, et autres
Publié: (2024)

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
par: Schön, Oliver, et autres
Publié: (2024)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
par: Gu, Chao, et autres
Publié: (2020)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
par: Kochdumper, Niklas, et autres
Publié: (2023)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
par: Hadjiloizou, Loizos, et autres
Publié: (2024)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
par: Chatterjee, Krishnendu, et autres
Publié: (2025)

Simulating Quantum Circuits by Model Counting
par: Mei, Jingyi, et autres
Publié: (2024)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
par: Sidrane, Chelsea, et autres
Publié: (2024)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
par: Zhao, Yiqi, et autres
Publié: (2023)

Simpler Presentations for Many Fragments of Quantum Circuits
par: Blake, Colin
Publié: (2026)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
par: Zhao, Yiqi, et autres
Publié: (2025)

Learning Algorithms for Verification of Markov Decision Processes
par: Brázdil, Tomáš, et autres
Publié: (2024)

A Complete Equational Theory for Real-Clifford+CH Quantum Circuits
par: Clément, Alexandre
Publié: (2026)

Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
par: Govindankutty, Arun, et autres
Publié: (2026)

TIUP: Effective Processor Verification with Tautology-Induced Universal Properties
par: Li, Yufeng, et autres
Publié: (2024)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
par: Zhou, Yuhao, et autres
Publié: (2023)

Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing
par: Schönig, Stefan, et autres
Publié: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
par: Kapoor, Parv, et autres
Publié: (2024)

Quantum Circuits Are Just a Phase
par: Heunen, Chris, et autres
Publié: (2025)