Uniformity for the Decidability of Hybrid Automata
Abstract elided by the publisher.
Related papers
- Suspension Automata: A Decidable Class of Hybrid Automata CAV 1994
- The tree width of auxiliary storage POPL 2011
- Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics TACAS 2016
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems VMCAI 2013
- HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata TACAS 2017
- Efficient Scenario Verification for Hybrid Automata CAV 2011
- From Duration Calculus To Linear Hybrid Automata CAV 1995
- Template-Based Unbounded Time Verification of Affine Hybrid Automata APLAS 2011