Optimal Transformations of Games and Automata Using Muller Conditions.

Antonio Casares, Thomas Colcombet, Nathanal Fijalkow

Browse the full ICALP paper archive.