On (I/O)-Aware Good-For-Games Automata.

Rachel Faran, Orna Kupferman

Browse the full ATVA paper archive.