论文标题
加权限制游戏的最佳策略（完整版）
Optimal Strategies in Weighted Limit Games (full version)
论文作者
论文摘要
我们证明了加权限制游戏中最佳策略的存在和计算性，具有Büchi风格的获胜条件的零和无限持续游戏，需要产生许多可以满足给定常规规范的游戏前缀。戏剧的质量是在满足规范的连续播放前缀之间的最大插图中测量的。
We prove the existence and computability of optimal strategies in weighted limit games, zero-sum infinite-duration games with a Büchi-style winning condition requiring to produce infinitely many play prefixes that satisfy a given regular specification. Quality of plays is measured in the maximal weight of infixes between successive play prefixes that satisfy the specification.
