Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
No abstract available.
Related papers
- Space-Time Interpolants CAV 2018
- Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking CAV 2005
- Symbolic Model Checking for Rectangular Hybrid Systems TACAS 2000
- Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach TACAS 2002
- Template Polyhedra with a Twist SAS 2017
- Counterexample-Guided Refinement of Template Polyhedra TACAS 2017
- A Logical Product Approach to Zonotope Intersection CAV 2010
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026