Playing Muller Games in a Hurry


This work considers a finite-duration variant of Muller games, and their connection to infinite-duration Muller games. In particular, it studies the question of how long a finiteduration Muller game must be played before the winner of the finite-duration game is guaranteed to be able to win the corresponding infinite-duration game. Previous work by… (More)
DOI: 10.4204/EPTCS.25.15


6 Figures and Tables