Postinal Determinacy of Games with Infinitely Many Priorities

Erich Graedel, Igor Walukiewicz

We study two-player games of infinite duration that are played on finite or infinite game graphs. A winning strategy for such a game is positional if it only depends on the current…