Optimal Strategies in Weighted Limit Games

09/23/2020
by   Aniello Murano, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset