Showing 2023Show all
3 papers · 1 filter
cs.LO2023
Positionality in and a completeness result
Pierre Ohlmann, Michał Skrzypczak
We study the existence of positional strategies for the protagonist in infinite duration games over arbitrary game graphs. We prove that prefix-independent objectives in wh…
cs.GT2023
Games on Graphs: From Logic and Automata to Algorithms
Nathanaël Fijalkow, C. Aiswarya, Guy Avni +22
The objective of this book is to give a comprehensive presentation of the research field concerned with infinite duration games on graphs. Historically, these game models appeared…
cs.LO2023
Positionality of mean-payoff games on infinite graphs
Pierre Ohlmann
This short note establishes positionality of mean-payoff games over infinite game graphs by constructing a well-founded monotone universal graph.