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,
Page(s): 169-182

Authors

Selected Authors

Neider, Daniel
Rabinovich, Roman
Zimmermann, Martin

Identifier