Positionality of mean-payoff games on infinite graphs

04/29/2023

∙

by   Pierre Ohlmann, et al.

∙

0

∙

share

This short note establishes positionality of mean-payoff games over infinite game graphs by constructing a well-founded monotone universal graph.