Down the Borel Hierarchy : Solving Muller Games via Safety Games

Neider, Daniel; Rabinovich, Roman; Zimmermann, Martin

Sydney : NICTA (2012)
Buchbeitrag, Beitrag zu einem Tagungsband

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