Beyond admissibility: Dominance between chains of strategies

05/29/2018
by   Nicolas Basset, et al.
0

Admissible strategies, i.e. those that are not dominated by any other strategy, are a typical rationality notion in game theory. In many classes of games this is justified by results showing that any strategy is admissible or dominated by an admissible strategy. However, in games played on finite graphs with quantitative objectives (as used for reactive synthesis), this is not the case. We consider increasing chains of strategies instead to recover a satisfactory rationality notion based on dominance in such games. We start with some order-theoretic considerations establishing sufficient criteria for this to work. We then turn our attention to generalised safety/reachability games as a particular application. We propose the notion of maximal uniform chain as the desired dominance-based rationality concept in these games. Decidability of some fundamental questions about uniform chains is established.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/22/2022

Strategy Complexity of Reachability in Countable Stochastic 2-Player Games

We study countably infinite stochastic 2-player games with reachability ...
research
05/08/2020

Stochastic Games with Lexicographic Reachability-Safety Objectives

We study turn-based stochastic zero-sum games with lexicographic prefere...
research
04/12/2023

Markov chains applied to Parrondo's paradox: The coin tossing problem

Parrondo's paradox was introduced by Juan Parrondo in 1996. In game theo...
research
01/25/2023

Sub-game optimal strategies in concurrent games with prefix-independent objectives

We investigate concurrent two-player win/lose stochastic games on finite...
research
09/10/2018

Parameterized Games and Parameterized Automata

We introduce a way to parameterize automata and games on finite graphs w...
research
12/22/2022

Playing Safe, Ten Years Later

We consider two-player games over graphs and give tight bounds on the me...
research
05/21/2021

Evaluating Strategy Exploration in Empirical Game-Theoretic Analysis

In empirical game-theoretic analysis (EGTA), game models are extended it...

Please sign up or login with your details

Forgot password? Click here to reset