Optimal Strategies in Weighted Limit Games (full version)

08/26/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

page 1

page 2

page 3

page 4

research
09/23/2020

Optimal Strategies in Weighted Limit Games

We prove the existence and computability of optimal strategies in weight...
research
04/29/2018

Concurrent games and semi-random determinacy

Consider concurrent, infinite duration, two-player win/lose games played...
research
05/30/2022

Necessary and Sufficient Condition for the Existence of Zero-Determinant Strategies in Repeated Games

Zero-determinant strategies are a class of memory-one strategies in repe...
research
05/31/2023

Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games (full version)

We compare games under delayed control and delay games, two types of inf...
research
05/03/2021

Playing Stochastically in Weighted Timed Games to Emulate Memory

Weighted timed games are two-player zero-sum games played in a timed aut...
research
09/10/2018

Quantitative Reductions and Vertex-Ranked Infinite Games

We introduce quantitative reductions, a novel technique for structuring ...

Please sign up or login with your details

Forgot password? Click here to reset