Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems
Abstract elided by the publisher.
Related papers
- Verifying omega-Regular Properties of Markov Chains CAV 2004
- Using Language Inference to Verify Omega-Regular Properties TACAS 2005
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- Monitoring the Full Range of omega-Regular Properties of Stochastic Systems VMCAI 2009
- Synthesis of Temporal Causality CAV 2024
- Supermartingale Certificates for Quantitative Omega-Regular Verification and Control CAV 2025
- Decoupled Planning for Multiple Omega-Regular Objectives CAV 2026
- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning TACAS 2023