English
Related papers

Related papers: Finite-memory strategies in two-player infinite ga…

200 papers

In this paper we study continuous-time two-player zero-sum optimal switching games on a finite horizon. Using the theory of doubly reflected BSDEs with interconnected barriers, we show that this game has a value and an equilibrium in the…

Optimization and Control · Mathematics 2018-06-04 Said Hamadène , Randall Martyr , John Moriarty

We use a recently discovered constrained de Finetti reduction (aka "Post-Selection Lemma") to study the parallel repetition of multi-player non-local games under no-signalling strategies. Since the technique allows us to reduce general…

Quantum Physics · Physics 2016-10-04 Cécilia Lancien , Andreas Winter

We consider concurrent games played on graphs. At every round of a game, each player simultaneously and independently selects a move; the moves jointly determine the transition to a successor state. Two basic objectives are the safety…

Computer Science and Game Theory · Computer Science 2012-07-03 Krishnendu Chatterjee , Luca de Alfaro , Thomas A. Henzinger

Infinite games where several players seek to coordinate under imperfect information are known to be intractable, unless the information flow is severely restricted. Examples of undecidable cases typically feature a situation where players…

Logic in Computer Science · Computer Science 2014-05-01 Dietmar Berwanger , Anup Basil Mathew

We introduce a 2-player game played on an infinite grid, initially empty, where each player in turn chooses a vertex and colours it. The first player aims to create some pattern from a target set, while the second player aims to prevent it.…

Computational Complexity · Computer Science 2025-02-18 Benjamin Hellouin de Menibus , Rémi Pallen

We consider a simple streaming game between two players Alice and Bob, which we call the mirror game. In this game, Alice and Bob take turns saying numbers belonging to the set $\{1, 2, \dots,2N\}$. A player loses if they repeat a number…

Computational Complexity · Computer Science 2017-10-10 Sumegha Garg , Jon Schneider

Graph games provide the foundation for modeling and synthesizing reactive processes. In the synthesis of stochastic reactive processes, the traditional model is perfect-information stochastic games, where some transitions of the game graph…

Logic in Computer Science · Computer Science 2016-04-22 Krishnendu Chatterjee , Laurent Doyen

We study deterministic games of infinite duration played on graphs and focus on the strategy complexity of quantitative objectives. Such games are known to admit optimal memoryless strategies over finite graphs, but require infinite-memory…

Computer Science and Game Theory · Computer Science 2024-06-26 Sougata Bose , Rasmus Ibsen-Jensen , David Purser , Patrick Totzke , Pierre Vandenhove

We study impartial take away games on 2 unordered piles of finite nonnegative numbers of tokens $(x,y)$. Two players alternate in removing at least one and at most all tokens from the respective piles, according to certain rules, and the…

Combinatorics · Mathematics 2012-06-21 Urban Larsson

We provide a self-contained introduction to finite extensive games with perfect information. In these games players proceed in turns having, at each stage, finitely many moves to their disposal, each play always ends, and in each play the…

Computer Science and Game Theory · Computer Science 2022-04-20 Krzysztof R. Apt , Sunil Simon

A stochastic evolutionary dynamics of two strategies given by 2 x 2 matrix games is studied in finite populations. We focus on stochastic properties of fixation: how a strategy represented by a single individual wins over the entire…

Populations and Evolution · Quantitative Biology 2007-05-23 Tibor Antal , Istvan Scheuring

We study so-called invariant games played with a fixed number $d$ of heaps of matches. A game is described by a finite list $\mathcal{M}$ of integer vectors of length $d$ specifying the legal moves. A move consists in changing the current…

Computational Complexity · Computer Science 2012-02-06 Urban Larsson , Johan Wästlund

Using coalgebraic methods, we extend Conway's theory of games to possibly non-terminating, i.e. non-wellfounded games (hypergames). We take the view that a play which goes on forever is a draw, and hence rather than focussing on winning…

Logic in Computer Science · Computer Science 2015-07-01 Furio Honsell , Marina Lenisa

We consider a two-player game of war of attrition under complete information. It is well-known that this class of games admits equilibria in pure, as well as mixed strategies, and much of the literature has focused on the latter. We show…

Optimization and Control · Mathematics 2021-11-30 George Georgiadis , Youngsoo Kim , H. Dharma Kwon

For a finite set $X$, a family of sets ${\mathcal F} \subseteq 2^X$ and a positive integer $q$, we consider two types of two player, perfect information games with no chance moves. In each round of the $(1 : q)$ Waiter-Client game $(X,…

Combinatorics · Mathematics 2015-10-15 Dan Hefetz , Michael Krivelevich , Wei En Tan

Stackelberg equilibrium is a solution concept that describes optimal strategies to commit: Player 1 (the leader) first commits to a strategy that is publicly announced, then Player 2 (the follower) plays a best response to the leader's…

Computer Science and Game Theory · Computer Science 2021-11-04 Aditya Aradhye , Branislav Bošanský , Michael Hlaváček

We introduce CUT, the class of 2-player partition games. These are NIM type games, played on a finite number of heaps of beans. The rules are given by a set of positive integers, which specifies the number of allowed splits a player can…

Combinatorics · Mathematics 2026-04-17 Antoine Dailly , Eric Duchene , Urban Larsson , Gabrielle Paris

We study the parameterized complexity of several positional games. Our main result is that Short Generalized Hex is W[1]-complete parameterized by the number of moves. This solves an open problem from Downey and Fellows' influential list of…

Computational Complexity · Computer Science 2017-04-28 Édouard Bonnet , Serge Gaspers , Antonin Lambilliotte , Stefan Rümmele , Abdallah Saffidine

Artificial intelligence and robotic competitions are accompanied by a class of game paradigms in which each player privately commits a strategy to a game system which simulates the game using the collected joint strategy and then returns…

Computer Science and Game Theory · Computer Science 2022-04-28 Rui Yan , Weixian Zhang , Ruiliang Deng , Xiaoming Duan , Zongying Shi , Yisheng Zhong

We analyze, both analytically and numerically, the self-organization of a system of "selfish" adaptive agents playing an arbitrary iterated pairwise game (defined by a 2X2 payoff matrix). Examples of possible games to play are: the…

Physics and Society · Physics 2009-11-10 H. Fort , S. Viola