AIB 2011-14: Solving Muller Games via Safety Games

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.