Using Abstractions for the Verification of Linear Hybrid Systems
Abstract elided by the publisher.
Related papers
- Verification of Context-Free Timed Systems Using Linear Hybrid Observers CAV 1994
- Verification of Linear Hybrid Systems by Means of Convex Approximations SAS 1994
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract) CAV 1997
- A linear logical framework in hybrid (invited talk) CPP 2019
- Language-Based Abstraction Refinement for Hybrid System Verification VMCAI 2007
- Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement TACAS 2003
- HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata TACAS 2017