2 papers
cs.GT2025
Infinite lexicographic products of positional objectives
Antonio Casares, Pierre Ohlmann, Michał Skrzypczak +1
This paper contributes to the study of positional determinacy of infinite duration games played on potentially infinite graphs with neutral transitions. Recently, [Ohlmann, Theoret…
cs.LO2006
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…