2011-14: Solving Muller Games via Safety Games
20 Jul
2011
20 Jul
'11
4:52 p.m.
The following technical report is available from http://aib.informatik.rwth-aachen.de: Solving Muller Games via Safety Games Daniel Neider, Roman Rabinovich, Martin Zimmermann AIB 2011-14 We show how to transform a Muller game with n vertices into a safety game with (n!)^3 vertices whose solution allows to determine the winning regions of the Muller game and a winning strategy for one player.
4903
Age (days ago)
4903
Last active (days ago)
0 comments
1 participants
participants (1)
-
Carsten Fuhs