Verification of Hybrid Systems
Abstract elided by the publisher.
Related papers
- Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial) CAV 2011
- Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems CAV 2010
- Hybrid Systems: From Verification to Falsification CAV 2007
- Language-Based Abstraction Refinement for Hybrid System Verification VMCAI 2007
- Using Abstractions for the Verification of Linear Hybrid Systems CAV 1994
- The d/dt Tool for Verification of Hybrid Systems CAV 2002
- Verification of Context-Free Timed Systems Using Linear Hybrid Observers CAV 1994
- SPeeDI - A Verification Tool for Polygonal Hybrid Systems CAV 2002