This short note establishes positionality of mean-payoff games over infinite game graphs by constructing a well-founded monotone universal graph.
生成讲解博客的中文版本
生成AI智能校验的中文版本