Down the Borel Hierarchy : Solving Muller Games via Safety Games

Neider, Daniel (Author); Rabinovich, Roman (Author); Zimmermann, Martin (Author)

Sydney / NICTA (2012) [Buchbeitrag, Beitrag zu einem Tagungsband]

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

Identifikationsnummern