Login / Signup

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

Thomas ColcombetNathanaël Fijalkow
Published in: FoSSaCS (2019)
Keyphrases