Down the Borel hierarchy : Solving Muller games via safety games

Neider, Daniel; Rabinovich, Roman; Zimmermann, Martin (Corresponding author)

Amsterdam [u.a.] / Elsevier (2014) [Fachzeitschriftenartikel]

Theoretical computer science
Band: 560
Seite(n): 219-234