Solving Muller Games via Safety Games
Daniel Neider and Rabinovich, Roman and Martin Zimmermann
We show how to transform a Muller game with n vertices into a safety game with (n!)³ vertices whose solution allows to determine the winning regions of the Muller game and a winning strategy for one player.