Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata
Abstract elided by the publisher.
Related papers
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- QEBVerif: Quantization Error Bound Verification of Neural Networks CAV 2023
- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems CAV 2024
- An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract) CAV 1997
- Reachability for Nonsmooth Systems with Lexicographic Jacobians TACAS 2025
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Membership-Based Synthesis of Linear Hybrid Automata CAV 2019
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming VMCAI 2010