Template-Based Unbounded Time Verification of Affine Hybrid Automata
Abstract elided by the publisher.
Related papers
- Space-Time Interpolants CAV 2018
- Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics TACAS 2016
- Efficient Scenario Verification for Hybrid Automata CAV 2011
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming VMCAI 2010
- Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells CAV 2014
- Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods CAV 2003
- Membership-Based Synthesis of Linear Hybrid Automata CAV 2019
- Runtime Verification Based on Register Automata TACAS 2013