Optimal Transformations of Games and Automata Using Muller Conditions

Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow. Optimal Transformations of Games and Automata Using Muller Conditions. In Nikhil Bansal, Emanuela Merelli, James Worrell 0001, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference). Volume 198 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Abstract

Abstract is missing.