Counter-Example Guided Predicate Abstraction of Hybrid Systems
No abstract available.
Related papers
- Race checking by context inference PLDI 2004
- Counter Example Guided Reactive Synthesis for LTL Modulo Theories* CAV 2025
- Counter-Example Guided Fence Insertion under TSO TACAS 2012
- Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems VMCAI 2015
- Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement TACAS 2003
- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models TACAS 2021
- Verified lifting of stencil computations PLDI 2016
- Quantitative abstraction refinement POPL 2013