Down the Borel hierarchy : Solving Muller games via safety games

Amsterdam [u.a.] / Elsevier (2014) [Journal Article]

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

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Neider, Daniel
Rabinovich, Roman
Zimmermann, Martin

Identifikationsnummern