Stutter-Invariant Languages, omega-Automata, and Temporal Logic
No abstract available.
Related papers
- GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic TACAS 2008
- Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata TACAS 2014
- Action-Based Model Checking: Logic, Automata, and Reduction CAV 2020
- Symbolic Automata: Omega-Regularity Modulo Theories POPL 2025
- Deterministic Automata for the (F, G)-Fragment of LTL CAV 2012
- GOAL for Games, Omega-Automata, and Logics CAV 2013
- Synthesis of Temporal Causality CAV 2024
- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning TACAS 2023