Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models
Abstract elided by the publisher.
Related papers
- 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
- Symbolic Automata: Omega-Regularity Modulo Theories POPL 2025
- Synthesis of Temporal Causality CAV 2024
- Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement TACAS 2003
- Membership-Based Synthesis of Linear Hybrid Automata CAV 2019
- Stochastic Omega-Regular Verification and Control with Supermartingales CAV 2024
- Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems CAV 1995