Down the Borel Hierarchy : Solving Muller Games via Safety Games

Neider, Daniel; Rabinovich, Roman; Zimmermann, Martin

Sydney : NICTA (2012)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2012), Napoli, Italy, September 6-8, 2012,
Page(s)/Article-Nr.: 169-182