Efficient Scenario Verification for Hybrid Automata
No abstract available.
Related papers
- Template-Based Unbounded Time Verification of Affine Hybrid Automata APLAS 2011
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming VMCAI 2010
- Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells CAV 2014
- Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios CAV 2023
- SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions CAV 2021
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Suspension Automata: A Decidable Class of Hybrid Automata CAV 1994
- Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics TACAS 2016