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

Antonio Casares, Thomas Colcombet, Karoliina Lehtinen. On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games. In Mikolaj Bojanczyk, Emanuela Merelli, David P. Woodruff, editors, 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France. Volume 229 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Authors

Antonio Casares

This author has not been identified. Look up 'Antonio Casares' in Google

Thomas Colcombet

This author has not been identified. Look up 'Thomas Colcombet' in Google

Karoliina Lehtinen

This author has not been identified. Look up 'Karoliina Lehtinen' in Google