Abstract:Two-player (antagonistic) games on (possibly stochastic) graphs are a prevalent model in theoretical computer science, notably as a framework for reactive synthesis. Optimal strategies may require randomisation when dealing with inherently probabilistic goals, balancing multiple objectives, or in contexts of partial information. There is no unique way to define randomised strategies. For instance, one can use so-called mixed strategies or behavioural ones. In the most general setting, these two classes do not share the same expressiveness. A seminal result in game theory -- Kuhn's theorem -- asserts their equivalence in games of perfect recall. This result crucially relies on the possibility for strategies to use infinite memory, i.e., unlimited knowledge of all past observations. However, computer systems are finite in practice. Hence it is pertinent to restrict our attention to finite-memory strategies, defined as automata with outputs. Randomisation can be implemented in these in different ways: the initialisation, outputs or transitions can be randomised or deterministic respectively. Depending on which aspects are randomised, the expressiveness of the corresponding class of finite-memory strategies differs. In this work, we study two-player concurrent stochastic games and provide a complete taxonomy of the classes of finite-memory strategies obtained by varying which of the three aforementioned components are randomised. Our taxonomy holds in games of perfect and imperfect information with perfect recall, and in games with more than two players. We also provide an adapted taxonomy for games with imperfect recall.

Uniform Proofs of Order Independence for Various Strategy Elimination Procedures

The Order Independence of Iterated Dominance in Extensive Games

The Robustness of Extensive-Form Rationalizability

Fairness and efficiency in strategy-proof object allocation mechanisms

Strategic Dominance: A New Preorder for Nondeterministic Processes

The Role of Information Revelation in Elimination Contests

Strategyproof Pareto-Stable Mechanisms for Two-Sided Matching with Indifferences

A Functional Inequality and a New Class of Probabilities in the N-Person Red-and-Black Game

Strong and safe Nash equilibrium in some repeated 3-player games

Equivalence between individual and group strategy-proofness under stability

Positionality in Σ_0^2 and a completeness result

The Complexity of Synthesizing Uniform Strategies

Exploring Weak Strategy-Proofness in Voting Theory

Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem under Finite-Memory Assumptions

Decomposition of Games: Some Strategic Considerations

Strategyproofing Peer Assessment via Partitioning: The Price in Terms of Evaluators' Expertise

Linear algebraic structure of zero-determinant strategies in repeated games

New inequalities for probability functions in the two-person red-and-black game

Deterministic monotone dynamics and dominated strategies

Ehrenfeucht-Fraisse games on a class of scattered linear orders

How to Win First-Order Safety Games