DeepAI AI Chat
Log In Sign Up

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

09/23/2020

Optimal Strategies in Weighted Limit Games

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

Concurrent games and semi-random determinacy

Consider concurrent, infinite duration, two-player win/lose games played...
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...
05/31/2023

Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games

We compare games under delayed control and delay games, two types of inf...
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...
12/17/2018

Comparator automata in quantitative verification

The notion of comparison between system runs is fundamental in formal ve...