Reaching Your Goal Optimally by Playing at Random

05/11/2020
by   Benjamin Monmege, et al.
0

Shortest-path games are two-player zero-sum games played on a graph equipped with integer weights. One player, that we call Min, wants to reach a target set of states while minimising the total weight, and the other one has an antagonistic objective. This combination of a qualitative reachability objective and a quantitative total-payoff objective is one of the simplest setting where Min needs memory (pseudo-polynomial in the weights) to play optimally. In this article, we aim at studying a tradeoff allowing Min to play at random, but using no memory. We show that Min can achieve the same optimal value in both cases. In particular, we compute a randomised memoryless ε-optimal strategy when it exists, where probabilities are parametrised by ε. We then characterise, and decide in polynomial time, the class of games admitting an optimal randomised memoryless strategy.

READ FULL TEXT

page 1

page 2

page 3

page 4

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
08/18/2023

Quantitative Reachability Stackelberg-Pareto Synthesis is NEXPTIME-Complete

In this paper, we deepen the study of two-player Stackelberg games playe...
research
07/02/2019

Energy mean-payoff games

In this paper, we study one-player and two-player energy mean-payoff gam...
research
03/05/2018

Playing Stackelberg Opinion Optimization with Randomized Algorithms for Combinatorial Strategies

From a perspective of designing or engineering for opinion formation gam...
research
08/22/2023

Counterfactual Causality for Reachability and Safety based on Distance Functions

Investigations of causality in operational systems aim at providing huma...
research
09/13/2019

Controlling a Random Population is EXPTIME-hard

Bertrand et al. [1] (LMCS 2019) describe two-player zero-sum games in wh...
research
09/07/2020

One-Clock Priced Timed Games with Arbitrary Weights

Priced timed games are two-player zero-sum games played on priced timed ...

Please sign up or login with your details

Forgot password? Click here to reset