Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games.

Thomas Colcombet, Nathanal Fijalkow

Browse the full FOSSACS paper archive.