Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
No abstract available.
Related papers
- Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics TACAS 2016
- Decidability of Hybrid Systems with Rectangular Differential Inclusion CAV 1994
- Symbolic Model Checking for Rectangular Hybrid Systems TACAS 2000
- Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis TACAS 2018
- HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata TACAS 2017
- Suspension Automata: A Decidable Class of Hybrid Automata CAV 1994
- Efficient Scenario Verification for Hybrid Automata CAV 2011
- Uniformity for the Decidability of Hybrid Automata SAS 1996