Model-Checking for Hybrid Systems by Quotienting and Constraints Solving
No abstract available.
Related papers
- Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints CAV 1997
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Model Checking as Constraint Solving SAS 2000
- Synthesis of reactive controllers for hybrid systems (keynote) POPL 2016
- Branching Bisimulation Learning CAV 2025
- Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints CAV 2023
- Symbolic Model Checking for Rectangular Hybrid Systems TACAS 2000
- Abstraction Based Model-Checking of Stability of Hybrid Systems CAV 2013