Ranking Automata and Games for Prioritized Requirements
No abstract available.
Related papers
- Guessing Winning Policies in LTL Synthesis by Semantic Learning CAV 2023
- Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata CAV 2025
- The Rabin Index and Chain Automata, with Applications to Automatas and Games CAV 1995
- Multi-valued Logics, Automata, Simulations, and Games VMCAI 2008
- Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation TACAS 2022
- Automata-Theoretic Decision of Timed Games VMCAI 2002
- GOAL for Games, Omega-Automata, and Logics CAV 2013
- Average-Price-per-Reward Games on Hybrid Automata with Strong Resets VMCAI 2009