当前位置:
X-MOL 学术
›
arXiv.cs.FL
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Optimal Strategies in Weighted Limit Games (full version)
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2020-08-26 , DOI: arxiv-2008.11562 Aniello Murano, Sasha Rubin, Martin Zimmermann
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2020-08-26 , DOI: arxiv-2008.11562 Aniello Murano, Sasha Rubin, Martin Zimmermann
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 式获胜条件,需要产生无限多个满足给定规则规范的游戏前缀。测量游戏质量在满足规范的连续播放前缀之间的中缀的最大权重。
更新日期:2020-09-08
中文翻译:
加权限注游戏中的最优策略(完整版)
我们证明了加权极限博弈、零和无限持续时间博弈中最优策略的存在性和可计算性,其具有 B\"uchi 式获胜条件,需要产生无限多个满足给定规则规范的游戏前缀。测量游戏质量在满足规范的连续播放前缀之间的中缀的最大权重。