Solving Muller Games via Safety Games

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

Page(s): 21 Seiten : grafische DarstellungenReport number: AIB-2011-14

Authors

Selected Authors

Neider, Daniel
Rabinovich, Roman
Zimmermann, Martin

Identifier

  • REPORT NUMBER: RWTH-CONV-211661