This short note establishes positionality of mean-payoff games over infinite game graphs by constructing a well-founded monotone universal graph.
翻译:本文通过构造一个良基的单调泛图,证明了无限博弈图上平均收益博弈的位置性。