Optimal Strategies in Weighted Limit Games
arXiv:2009.11638 · doi:10.4204/EPTCS.326.8
Abstract
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.
In Proceedings GandALF 2020, arXiv:2009.09360. Full version at arXiv:2008.11562