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