GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
Abstract elided by the publisher.
Related papers
- Stutter-Invariant Languages, omega-Automata, and Temporal Logic CAV 1999
- GOAL for Games, Omega-Automata, and Logics CAV 2013
- Symbolic Automata: Omega-Regularity Modulo Theories POPL 2025
- GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae TACAS 2007
- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning TACAS 2023
- ROLL 1.0: \omega -Regular Language Learning Library TACAS 2019
- Synthesis of Temporal Causality CAV 2024
- Deterministic Automata for the (F, G)-Fragment of LTL CAV 2012