Down the Borel hierarchy : Solving Muller games via safety games

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

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

In: Theoretical computer science
Volume: 560
Page(s)/Article-Nr.: 219-234

Identifier