Solving Muller Games via Safety Games

Neider, Daniel; Rabinovich, Roman; Zimmermann, Martin

Aachen : RWTH, Department of Computer Science (2011)
Report (Brochure)

In: Aachener Informatik-Berichte : AIB 2011,14
Page(s)/Article-Nr.: 21 Seiten : grafische DarstellungenReport number: AIB-2011-14

Identifier