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