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.

Technical Report AIB-2011-14, RWTH Aachen University.

(pdf) (bib)