We prove the existence and computability of optimal strategies in weighted limit games, zero-sum infinite-duration games with a B\"uchi-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.

中文翻译：

---

加权限注游戏中的最优策略（完整版）

我们证明了加权极限博弈、零和无限持续时间博弈中最优策略的存在性和可计算性，其具有 B\"uchi 式获胜条件，需要产生无限多个满足给定规则规范的游戏前缀。测量游戏质量在满足规范的连续播放前缀之间的中缀的最大权重。