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.
tr-announce@lists.rwth-aachen.de