English
Related papers

Related papers: Verification of Correlated Equilibria in Concurren…

200 papers

Infinitely repeated games support equilibrium concepts beyond those present in one-shot games (e.g., cooperation in the prisoner's dilemma). Nonetheless, repeated games fail to capture our real-world intuition for settings with many…

Computer Science and Game Theory · Computer Science 2025-05-22 Henry Fleischmann , Kiriaki Fragkia , Ratip Emin Berker

The works of (Daskalakis et al., 2009, 2022; Jin et al., 2022; Deng et al., 2023) indicate that computing Nash equilibria in multi-player Markov games is a computationally hard task. This fact raises the question of whether or not…

Computer Science and Game Theory · Computer Science 2023-05-30 Fivos Kalogiannis , Ioannis Panageas

Usually, to apply game-theoretic methods, we must specify utilities precisely, and we run the risk that the solutions we compute are not robust to errors in this specification. Ordinal games provide an attractive alternative: they require…

Computer Science and Game Theory · Computer Science 2024-07-11 Vincent Conitzer

We study policy optimization algorithms for computing correlated equilibria in multi-player general-sum Markov Games. Previous results achieve $O(T^{-1/2})$ convergence rate to a correlated equilibrium and an accelerated $O(T^{-3/4})$…

Machine Learning · Computer Science 2024-05-03 Yang Cai , Haipeng Luo , Chen-Yu Wei , Weiqiang Zheng

An extensive literature in economics and social science addresses contests, in which players compete to outperform each other on some measurable criterion, often referred to as a player's score, or output. Players incur costs that are an…

Computer Science and Game Theory · Computer Science 2013-08-01 Leslie Ann Goldberg , Paul W. Goldberg , Piotr Krysta , Carmine Ventre

As the complexity and scope of games increase, game testing, also called playtesting, becomes an essential activity to ensure the quality of video games. Yet, the manual, ad-hoc nature of game testing leaves space for automation. In this…

Software Engineering · Computer Science 2023-04-19 Cristiano Politowski , Fabio Petrillo , Ghizlane ElBoussaidi , Gabriel C. Ullmann , Yann-Gaël Guéhéneuc

Two-team zero-sum games are one of the most important paradigms in game theory. In this paper, we focus on finding an unexploitable equilibrium in large team games. An unexploitable equilibrium is a worst-case policy, where members in the…

Computer Science and Game Theory · Computer Science 2024-03-04 Naming Liu , Mingzhi Wang , Youzhi Zhang , Yaodong Yang , Bo An , Ying Wen

This paper presents a technique for approximating, up to any precision, the set of subgame-perfect equilibria (SPE) in discounted repeated games. The process starts with a single hypercube approximation of the set of SPE. Then the initial…

Computer Science and Game Theory · Computer Science 2010-02-10 Andriy Burkov , Brahim Chaib-draa

We study the complexity of problems related to subgame-perfect equilibria (SPEs) in infinite duration non zero-sum multiplayer games played on finite graphs with parity objectives. We present new complexity results that close gaps in the…

Computer Science and Game Theory · Computer Science 2022-04-22 Léonard Brice , Marie van den Bogaard , Jean-François Raskin

The interplay between exploration and exploitation in competitive multi-agent learning is still far from being well understood. Motivated by this, we study smooth Q-learning, a prototypical learning model that explicitly captures the…

Computer Science and Game Theory · Computer Science 2021-06-25 Stefanos Leonardos , Georgios Piliouras , Kelly Spendlove

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

Concurrent multi-player mean-payoff games are important models for systems of agents with individual, non-dichotomous preferences. Whilst these games have been extensively studied in terms of their equilibria in non-cooperative settings,…

Computer Science and Game Theory · Computer Science 2023-11-28 Julian Gutierrez , Anthony W. Lin , Muhammad Najib , Thomas Steeples , Michael Wooldridge

With increasing game size, a problem of computational complexity arises. This is especially true in real world problems such as in social systems, where there is a significant population of players involved in the game, and the complexity…

Computer Science and Game Theory · Computer Science 2016-09-12 Tatsuya Iwase , Takahiro Shiga

We study the problem of finding optimal correlated equilibria of various sorts in extensive-form games: normal-form coarse correlated equilibrium (NFCCE), extensive-form coarse correlated equilibrium (EFCCE), and extensive-form correlated…

Computer Science and Game Theory · Computer Science 2025-01-28 Brian Zhang , Gabriele Farina , Andrea Celli , Tuomas Sandholm

Whether a PTAS (polynomial-time approximation scheme) exists for game equilibria has been an open question, and its absence has indications and consequences in three fields: the practicality of methods in algorithmic game theory,…

Computer Science and Game Theory · Computer Science 2025-02-06 Hongbo Sun , Chongkun Xia , Junbo Tan , Bo Yuan , Xueqian Wang , Bin Liang

Synthesis of finite-state controllers from high-level specifications in multi-agent systems can be reduced to solving multi-player concurrent games over finite graphs. The complexity of solving such games with qualitative objectives for…

Computer Science and Game Theory · Computer Science 2018-09-28 Shaull Almagor , Rajeev Alur , Suguman Bansal

We investigate optimal decision making under imperfect recall, that is, when an agent forgets information it once held before. An example is the absentminded driver game, as well as team games in which the members have limited communication…

Computer Science and Game Theory · Computer Science 2024-06-25 Emanuel Tewolde , Brian Hu Zhang , Caspar Oesterheld , Manolis Zampetakis , Tuomas Sandholm , Paul W. Goldberg , Vincent Conitzer

Nash equilibrium is the most commonly-used notion of equilibrium in game theory. However, it suffers from numerous problems. Some are well known in the game theory community; for example, the Nash equilibrium of repeated prisoner's dilemma…

Computer Science and Game Theory · Computer Science 2008-12-18 Joseph Y. Halpern

We prove that finding an epsilon-Nash equilibrium in a succinctly representable game with many players is PPAD-hard for constant epsilon. Our proof uses succinct games, i.e. games whose payoff function is represented by a circuit. Our…

Computer Science and Game Theory · Computer Science 2014-05-20 Aviad Rubinstein

We study rational agents with different perception capabilities in strategic games. We focus on a class of one-shot limited-perception games. These games extend simultaneous-move normal-form games by presenting each player with an…

Computer Science and Game Theory · Computer Science 2024-05-28 Kai Jia , Martin Rinard