GOAL for Games, Omega-Automata, and Logics
No abstract available.
Related papers
- GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic TACAS 2008
- Deterministic Automata for the (F, G)-Fragment of LTL CAV 2012
- Stutter-Invariant Languages, omega-Automata, and Temporal Logic CAV 1999
- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning TACAS 2023
- From Spot 2.0 to Spot 2.10: What's New? CAV 2022
- Multi-valued Logics, Automata, Simulations, and Games VMCAI 2008
- Finitary Winning in omega-Regular Games TACAS 2006
- Symbolic Automata: Omega-Regularity Modulo Theories POPL 2025