Safety Verification for Probabilistic Hybrid Systems
Abstract elided by the publisher.
Related papers
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems CAV 2013
- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems CAV 2024
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints CAV 2023
- Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures CAV 2004
- Falsification of LTL Safety Properties in Hybrid Systems TACAS 2009
- Multi-agent Safety Verification Using Symmetry Transformations TACAS 2020
- Hybrid Path-Sums for Hybrid Quantum Programs PLDI 2026