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.

Strategy Detection of Nondeterministic Dynamical Games

Game-Theoretic Neyman-Pearson Detection to Combat Strategic Evasion

A Logic for Strategy Updates

Continuous-time Distributed Nash Strategy over Switching Topologies with Gain Adaptation

Integrated Resource Allocation and Strategy Synthesis in Safety Games on Graphs with Deception

Optimal Machine Strategies To Commit To In Two-Person Repeated Games

Strategy Improvement for Concurrent Reachability and Safety Games

On the implementation of zero-determinant strategies in repeated games

Event-Triggered Strategy Design for Discrete-Time Nonlinear Quadratic Games with Disturbance Compensations: the Noncooperative Case

Evolutionary Dynamics of Networked Multi-Person Games: Mixing Opponent-Aware and Opponent-Independent Strategy Decisions

Game Theoretical Security Detection Strategy for Networked Systems

Identification and Estimation of Dynamic Games with Unknown Information Structure

Detection Meeting Control: Unstable Steady States in High-Dimensional Nonlinear Dynamical Systems

Finite State Strategies In One Player Mcnaughton Games

A Dynamic Algorithm for Reachability Games Played on Trees

Algorithmic Decision-Making under Agents with Persistent Improvement

A Game-Theoretic Approach for Detection of Overlapping Communities in Dynamic Complex Networks

Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems

Coverage Games for Testing Nondeterministic Systems

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

Emergent Coordination through Game-Induced Nonlinear Opinion Dynamics