English
Related papers

Related papers: Rational verification and checking for Nash and su…

200 papers

Nash equilibrium is a key concept in game theory fundamental for elucidating the equilibrium state of strategic interactions, finding applications in diverse fields such as economics, political science, and biology. However, the Nash…

Computer Science and Game Theory · Computer Science 2024-04-02 Elie Eshoa , Ali R. Zomorrodi

In this paper, we study nonzero-sum separable games, which are continuous games whose payoffs take a sum-of-products form. Included in this subclass are all finite games and polynomial games. We investigate the structure of equilibria in…

Computer Science and Game Theory · Computer Science 2010-04-26 Noah D. Stein , Asuman Ozdaglar , Pablo A. Parrilo

Strategic-form min-max game theory examines the existence, multiplicity, selection of equilibria, and the worst-case computational complexity under perfect rationality. However, in many applications, games are drawn from an ensemble, and…

Computer Science and Game Theory · Computer Science 2026-02-17 Yuma Ichikawa

One of the natural objectives of the field of the social networks is to predict agents' behaviour. To better understand the spread of various products through a social network arXiv:1105.2434 introduced a threshold model, in which the nodes…

Computer Science and Game Theory · Computer Science 2013-04-09 Sunil Simon , Krzysztof R. Apt

Generating payoff matrices of normal-form games at random, we calculate the frequency of games with a unique pure strategy Nash equilibrium in the ensemble of $n$-player, $m$-strategy games. These are perfectly predictable as they must…

Theoretical Economics · Economics 2020-11-03 Samuel C. Wiese , Torsten Heinrich

We study the computational complexity of Nash equilibria in concurrent games with limit-average objectives. In particular, we prove that the existence of a Nash equilibrium in randomised strategies is undecidable, while the existence of a…

Computer Science and Game Theory · Computer Science 2011-09-29 Michael Ummels , Dominik Wojtczak

We study multiplayer reachability games played on a finite directed graph equipped with target sets, one for each player. In those reachability games, it is known that there always exists a Nash equilibrium (NE) and a subgame perfect…

Computer Science and Game Theory · Computer Science 2019-07-15 Thomas Brihaye , Véronique Bruyère , Aline Goeminne , Nathan Thomasset

Many models from a variety of areas involve the computation of an equilibrium or fixed point of some kind. Examples include Nash equilibria in games; market equilibria; computing optimal strategies and the values of competitive games…

Computational Complexity · Computer Science 2008-02-21 Mihalis Yannakakis

We consider graphical $n$-person games with perfect information that have no Nash equilibria in pure stationary strategies. Solving these games in mixed strategies, we introduce probabilistic distributions in all non-terminal positions. The…

Combinatorics · Mathematics 2023-08-21 Vladimir Gurvich , Mariya Naumova

Subgame perfect equilibria are specific Nash equilibria in perfect information games in extensive form. They are important because they relate to the rationality of the players. They always exist in infinite games with continuous…

Computer Science and Game Theory · Computer Science 2015-10-01 Stephane Le Roux

Many important real-world settings contain multiple players interacting over an unknown duration with probabilistic state transitions, and are naturally modeled as stochastic games. Prior research on algorithms for stochastic games has…

Computer Science and Game Theory · Computer Science 2021-02-19 Sam Ganzfried

Nash equilibria are crucial for understanding game behavior and systems in economics, physics, biology, and computer science. A significant application arises from the connection between Nash equilibria and optimization problems . However,…

Quantum Physics · Physics 2025-11-14 Giovanni Ferrannini , Dario di Gregorio , Federico Fissore

We consider a 3-player game in the normal form, in which each player has two actions. We assume that the game is symmetric and repeated infinitely many times. At each stage players make their choices knowing only the average payoffs from…

Optimization and Control · Mathematics 2018-05-16 Tadeusz Kufel , Sławomir Plaskacz , Joanna Zwierzchowska

Frequent violations of fair principles in real-life settings raise the fundamental question of whether such principles can guarantee the existence of a self-enforcing equilibrium in a free economy. We show that elementary principles of…

Theoretical Economics · Economics 2021-07-28 Ghislain H. Demeze-Jouatsa , Roland Pongou , Jean-Baptiste Tondji

In this paper, a gentle introduction to Game Theory is presented in the form of basic concepts and examples. Minimax and Nash's theorem are introduced as the formal definitions for optimal strategies and equilibria in zero-sum and…

Computer Science and Game Theory · Computer Science 2015-06-18 Harris V. Georgiou

We study the complexity of computing equilibria in binary public goods games on undirected graphs. In such a game, players correspond to vertices in a graph and face a binary choice of performing an action, or not. Each player's decision…

Computer Science and Game Theory · Computer Science 2023-05-22 Max Klimm , Maximilian J. Stahlberg

We study pure-strategy Nash equilibria in multi-player concurrent deterministic games, for a variety of preference relations. We provide a novel construction, called the suspect game, which transforms a multi-player concurrent game into a…

Logic in Computer Science · Computer Science 2017-01-11 Patricia Bouyer , Romain Brenguier , Nicolas Markey , Michael Ummels

A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-interested users. Most game-theoretic models applied to system…

Computer Science and Game Theory · Computer Science 2007-05-23 Nicolas Christin , Jens Grossklags , John Chuang

Concavity and its refinements underpin tractability in multiplayer games, where players independently choose actions to maximize their own payoffs which depend on other players' actions. In concave games, where players' strategy sets are…

Computer Science and Game Theory · Computer Science 2025-12-12 Vincent Leon , Iosif Sakos , Ryann Sim , Antonios Varvitsiotis

We provide general theoretical foundations for modeling strategic uncertainty in large distributional Bayesian games with general type spaces, using a version of interim correlated rationalizability. We then focus on the case in which…

Theoretical Economics · Economics 2025-06-24 Lukasz Balbus , Michael Greinecker , Kevin Reffett , Lukasz Wozny