The Rabin Index and Chain Automata, with Applications to Automatas and Games
Abstract elided by the publisher.
Related papers
- Index Appearance Record for Transforming Rabin Automata into Parity Automata TACAS 2017
- Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis CAV 2013
- Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata CAV 2025
- Rabinizer 4: From LTL to Your Favourite Deterministic Automaton CAV 2018
- Markov Chains and Unambiguous Büchi Automata CAV 2016
- Multi-valued Logics, Automata, Simulations, and Games VMCAI 2008
- Ranking Automata and Games for Prioritized Requirements CAV 2008
- Automata-Theoretic Decision of Timed Games VMCAI 2002