Solving Muller Games via Safety Games

Aachen / RWTH, Department of Computer Science (2011) [Bericht]

Seite(n): 21 Seiten : grafische DarstellungenReport-Nummer: AIB-2011-14

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Neider, Daniel
Rabinovich, Roman
Zimmermann, Martin

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-211661