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.
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.