Down the Borel hierarchy : Solving Muller games via safety games
Amsterdam [u.a.] / Elsevier (2014) [Fachzeitschriftenartikel]
Theoretical computer science
Band: 560
Seite(n): 219-234
Autorinnen und Autoren
Autorinnen und Autoren
Neider, Daniel
Rabinovich, Roman
Zimmermann, Martin
Identifikationsnummern
- DOI: 10.1016/j.tcs.2014.01.017
- REPORT NUMBER: RWTH-2015-04578