Optimal Strategies in Weighted Limit Games (full version)
Aniello Murano, Sasha Rubin, Martín Zimmermann · arXiv (Cornell University) · 2020
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.