The Symbolic Approach to Hybrid Systems
Abstract elided by the publisher.
Related papers
- Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking CAV 2005
- Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections CAV 2014
- Symbolic Model Checking for Rectangular Hybrid Systems TACAS 2000
- Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures CAV 2004
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra TACAS 2008
- Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach TACAS 2002
- Hybrid Path-Sums for Hybrid Quantum Programs PLDI 2026
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026