Optimizing Bounded Model Checking for Linear Hybrid Systems
Abstract elided by the publisher.
Related papers
- STLmc: Robust STL Model Checking of Hybrid Systems Using SMT CAV 2022
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata VMCAI 2022
- Robust Resource Bounds with Static Analysis and Bayesian Inference PLDI 2024
- Reachability for Nonsmooth Systems with Lexicographic Jacobians TACAS 2025
- Linear Completeness Thresholds for Bounded Model Checking CAV 2011
- Symbolic Model Checking for Rectangular Hybrid Systems TACAS 2000