Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics
Abstract elided by the publisher.
Related papers
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems VMCAI 2013
- Template-Based Unbounded Time Verification of Affine Hybrid Automata APLAS 2011
- Space-Time Interpolants CAV 2018
- 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