On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games.

Antonio Casares, Thomas Colcombet, Karoliina Lehtinen

Browse the full ICALP paper archive.