From Duration Calculus To Linear Hybrid Automata
Abstract elided by the publisher.
Related papers
- HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata TACAS 2017
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- Probabilistic Duration Automata for Analyzing Real-Time Systems TACAS 1996
- Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata VMCAI 2022
- Membership-Based Synthesis of Linear Hybrid Automata CAV 2019
- Weak Automata for the Linear Time µ-Calculus VMCAI 2005
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Formally Verified Switching Logic for Recoverability of Aircraft Controller CAV 2021