This short note establishes positionality of mean-payoff games over infinite game graphs by constructing a well-founded monotone universal graph.
翻译:本文通过构建一个良基础单调通用图来证明了在无限游戏图上mean-payoff游戏的位置性。