Abstract:We consider two-player stochastic games played on finite graphs with reachability objectives where the first player tries to ensure a target state to be visited almost-surely (i.e., with probability 1), or positively (i.e., with positive probability), no matter the strategy of the second player. We classify such games according to the information and the power of randomization available to the players. On the basis of information, the game can be one-sided with either (a) player 1, or (b) player 2 having partial observation (and the other player has perfect observation), or two-sided with (c) both players having partial observation. On the basis of randomization, the players (a) may not be allowed to use randomization (pure strategies), or (b) may choose a probability distribution over actions but the actual random choice is external and not visible to the player (actions invisible), or (c) may use full randomization. Our main results for pure strategies are as follows. (1) For one-sided games with player 1 having partial observation we show that (in contrast to full randomized strategies) belief-based (subset-construction based) strategies are not sufficient, and we present an exponential upper bound on memory both for almostsure and positive winning strategies; we show that the problem of deciding the existence of almost-sure and positive winning strategies for player 1 is EXPTIME-complete. (2) For one-sided games with player 2 having partial observation we show that non-elementary memory is both necessary and sufficient for both almost-sure and positive winning strategies. (3) We show that for the general (two-sided) case finite-memory strategies are sufficient for both positive and almost-sure winning, and at least non-elementary memory is required. We establish the equivalence of the almost-sure winning problems for pure strategies and for randomized strategies with actions invisible. Our equivalence result exhibits serious flaws in previous results of the literature: we show a non-elementary memory lower bound for almost-sure winning whereas an exponential upper bound was previously claimed.

Best Response Strategies for Asymmetric Sensing in Linear-Quadratic Differential Games

Desensitization and Deception in Differential Games with Asymmetric Information

Optimal Intermittent Sensing for Pursuit-Evasion Games

State-Constrained Zero-Sum Differential Games with One-Sided Information

Dynkin games with incomplete and asymmetric information

Appropriate quantization of asymmetric games with continuous strategies

Synchronous dynamic game on system observability considering one or two steps optimality

A Quantal Response Analysis of Defender-Attacker Sequential Security Games

Stackelberg stochastic differential game with asymmetric noisy observations

Contest for system observability as an infinitely repeated game

Multidimensional indefinite stochastic Riccati equations and zero-sum linear-quadratic stochastic differential games with non-markovian regime switching

Long-Time Behavior of Zero-Sum Linear-Quadratic Stochastic Differential Games

Linear-Quadratic Non-Zero Sum Backward Stochastic Differential Game With Overlapping Information

HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms

Saddle-Point Equilibrium Strategy for Linear Quadratic Uncertain Stochastic Hybrid Differential Games Based on Subadditive Measures

Soft-constrained output feedback guaranteed cost equilibria in infinite-horizon uncertain linear-quadratic differential games

Remote Estimation Games with Random Walk Processes: Stackelberg Equilibrium

Partial-Observation Stochastic Games: How to Win When Belief Fails

Security Games with Information Leakage: Modeling and Computation

Stochastic Adaptive Linear Quadratic Differential Games