Solving Muller Games via Safety Games

Daniel Neider, 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 July 2011
Contact Data Privacy Policy Imprint
Home People Publications
More