On the size of good-for-games Rabin automata and its link with the memory in Muller games

DOI10.4230/lipics.icalp.2022.117MaRDI QIDQ6560918

Unnamed Author, Thomas Colcombet, Karoliina Lehtinen

Publication date: 24 June 2024

zbMATH Keywords

Muller gamesomega-regular languagesRabin conditionsgood-for-games automatainfinite-duration gamesmemory in games

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45)

This page was built for publication: On the size of good-for-games Rabin automata and its link with the memory in Muller games