Down the Borel Hierarchy : Solving Muller Games via Safety Games

Sydney / NICTA (2012) [Contribution to a conference proceedings]

Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2012), Napoli, Italy, September 6-8, 2012,

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Neider, Daniel
Rabinovich, Roman
Zimmermann, Martin