English
Related papers

Related papers: Richman games

200 papers

We study variations on combinatorial games in which, instead of alternating moves, the players bid with discrete bidding chips for the right to determine who moves next. We consider both symmetric and partisan games, and explore differences…

Combinatorics · Mathematics 2010-07-13 Mike Develin , Sam Payne

Bidding chess is a chess variant where instead of alternating play, players bid for the opportunity to move. Generalizing a known result on so-called Richman games, we show that for a natural class of games including bidding chess, each…

Combinatorics · Mathematics 2017-03-07 Urban Larsson , Johan Wästlund

In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner or payoff of the game. We study {\em bidding games} in which the players bid for the right to move the token.…

Computer Science and Game Theory · Computer Science 2019-05-13 Guy Avni , Thomas A. Henzinger , Đorđe Žikelić

In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner or payoff of the game. Such games are central in formal verification since they model the interaction between a…

Computer Science and Game Theory · Computer Science 2020-01-28 Guy Avni , Thomas A. Henzinger , Rasmus Ibsen-Jensen

Richman games are zero-sum games, where in each turn players bid in order to determine who will play next [Lazarus et al.'99]. We extend the theory to impartial general-sum two player games called \emph{bidding games}, showing the existence…

Computer Science and Game Theory · Computer Science 2018-08-13 Gil Kalai , Reshef Meir , Moshe Tennenholtz

Combinatorial Game Theory is a branch of mathematics and theoretical computer science that studies sequential 2-player games with perfect information. Normal play is the convention where a player who cannot move loses. Here, we generalize…

Computer Science and Game Theory · Computer Science 2023-10-31 Prem Kant , Urban Larsson , Ravi K. Rai , Akshay V. Upasany

Two-player graph games are a fundamental model for reasoning about the interaction of agents. These games are played between two players who move a token along a graph. In bidding games, the players have some monetary budget, and at each…

Computer Science and Game Theory · Computer Science 2024-12-24 Shaull Almagor , Guy Avni , Neta Dafni

Two-player games on graphs are widely studied in formal methods as they model the interaction between a system and its environment. The game is played by moving a token throughout a graph to produce an infinite path. There are several…

Logic in Computer Science · Computer Science 2019-06-10 Guy Avni , Thomas A. Henzinger , Ventsislav Chonev

We consider {\em bidding games}, a class of two-player zero-sum {\em graph games}. The game proceeds as follows. Both players have bounded budgets. A token is placed on a vertex of a graph, in each turn the players simultaneously submit…

Computer Science and Game Theory · Computer Science 2023-07-31 Guy Avni , Tobias Meggendorfer , Suman Sadhukhan , Josef Tkadlec , Đorđe Žikelić

Two-player zero-sum "graph games" are a central model, which proceeds as follows. A token is placed on a vertex of a graph, and the two players move it to produce an infinite "play", which determines the winner or payoff of the game.…

Computer Science and Game Theory · Computer Science 2022-11-28 Guy Avni , Ismael Jecker , Djordje Zikelic

In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner of the game. Such games are central in formal methods since they model the interaction between a…

Computer Science and Game Theory · Computer Science 2023-06-22 Milad Aghajohari , Guy Avni , Thomas A. Henzinger

It is known that a player in a noncooperative game can benefit by publicly restricting his possible moves before play begins. We show that, more generally, a player may benefit by publicly committing to pay an external party an amount that…

General Economics · Economics 2024-01-05 James W. Bono , David H. Wolpert

In an all-pay auction, only one bidder wins but all bidders must pay the auctioneer. All-pay bidding games arise from attaching a similar bidding structure to traditional combinatorial games to determine which player moves next. In contrast…

Computer Science and Game Theory · Computer Science 2015-05-15 Michael Menz , Justin Wang , Jiyang Xie

A combinatorial game is a two-player game without hidden information or chance elements. The main object of combinatorial game theory is to obtain the outcome, which player has a winning strategy, of a given combinatorial game. Positions of…

Combinatorics · Mathematics 2025-11-27 Kengo Hashimoto

Combinatorial games are two-player games of pure strategy where the players, usually called Left and Right, move alternately. In this paper, we introduce Cheating Robot games. These arise from simultaneous-play combinatorial games where one…

Combinatorics · Mathematics 2022-02-11 Melissa A. Huggan , Richard J. Nowakowski

In this note, we investigate combinatorial games where both players move randomly (each turn, independently selecting a legal move uniformly at random). In this model, we provide closed-form expressions for the expected number of turns in a…

Combinatorics · Mathematics 2024-01-31 Pat Devlin , Paulina Trifonova

Positional games are a well-studied class of combinatorial game. In their usual form, two players take turns to play moves in a set (`the board'), and certain subsets are designated as `winning': the first person to occupy such a set wins…

Combinatorics · Mathematics 2016-07-12 J. Robert Johnson , Imre Leader , Mark Walters

The multiplication game is a two-person game in which each player chooses a positive integer without knowledge of the other player's number. The two numbers are then multiplied together and the first digit of the product determines the…

Computer Science and Game Theory · Computer Science 2016-07-11 Kent E. Morrison

A Dynkin game is a zero-sum, stochastic stopping game between two players where either player can stop the game at any time for an observable payoff. Typically the payoff process of the max-player is assumed to be smaller than the payoff…

Probability · Mathematics 2020-08-18 Ivan Guo

In a guessing game, players guess the value of a random real number selected using some probability density function. The winner may be determined in various ways; for example, a winner can be a player whose guess is closest in magnitude to…

Computer Science and Game Theory · Computer Science 2016-07-11 Anthony Mendes , Kent E. Morrison
‹ Prev 1 2 3 10 Next ›