English
Related papers

Related papers: Multi-player Equilibria Verification for Concurren…

200 papers

The emergence of cooperation figures among the main goal of game theory in competitive-cooperative environments. Potential games have long been hinted as viable alternatives to study realistic player behavior. Here, we expand the potential…

Computer Science and Game Theory · Computer Science 2018-10-12 G. M. Nakamura , G. S. Contesini , A. S. Martinez

Despite many distributed resource allocation (DRA) algorithms have been reported in literature, it is still unknown how to allocate the resource optimally over multiple interacting coalitions. One major challenge in solving such a problem…

Optimization and Control · Mathematics 2025-09-24 Jialing Zhou , Guanghui Wen , Yuezu Lv , Tao Yang , Guanrong Chen

Nash equilibria provide a principled framework for modeling interactions in multi-agent decision-making and control. However, many equilibrium-seeking methods implicitly assume that each agent has access to the other agents' objectives and…

Computer Science and Game Theory · Computer Science 2026-03-19 Mahdis Rabbani , Navid Mojahed , Shima Nazari

Game theory has been applied to investigate network security. But different security scenarios were often modeled via different types of games and analyzed in an ad-hoc manner. In this paper, we propose an algebraic approach for modeling…

Cryptography and Security · Computer Science 2016-06-16 Qian Zhang , Ying Jiang , Peng Wu

We consider coalition formation among players in an n-player finite strategic game over infinite horizon. At each time a randomly formed coalition makes a joint deviation from a current action profile such that at new action profile all…

Computer Science and Game Theory · Computer Science 2015-06-11 Konstantin Avrachenkov , Vikas Vikram Singh

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

We consider multi-agent decision making where each agent optimizes its convex cost function subject to individual and coupling constraints. The constraint sets are compact convex subsets of a Euclidean space. To learn Nash equilibria, we…

Optimization and Control · Mathematics 2018-10-16 Tatiana Tatarenko , Maryam Kamgarpour

This paper addresses the distributed Nash Equilibrium seeking problem for aggregative games, where legitimate players' decisions are affected by potential malicious players. To describe players' behavior, we introduce a novel heterogeneous…

Systems and Control · Electrical Eng. & Systems 2025-12-01 Kai-Yuan Guo , Yan-Wu Wang , Xiao-Kang Liu , Zhi-Wei Liu

This paper studies the effects of introducing altruistic agents into atomic congestion games. Altruistic behavior is modeled by a trade-off between selfish and social objectives. In particular, we assume agents optimize a linear combination…

Computer Science and Game Theory · Computer Science 2009-02-04 Martin Hoefer , Alexander Skopalik

This paper investigates online stochastic aggregative games subject to local set constraints and time-varying coupled inequality constraints, where each player possesses a time-varying expectation-valued cost function relying on not only…

Optimization and Control · Mathematics 2025-11-18 Kaixin Du , Min Meng

Concurrent multi-player games with $\omega$-regular objectives are a standard model for systems that consist of several interacting components, each with its own objective. The standard solution concept for such games is Nash Equilibrium,…

Computer Science and Game Theory · Computer Science 2022-09-28 Shaull Almagor , Shai Guendelman

The stag hunt (or assurance game) is a simple game that has been used as a prototype of a variety of social coordination problems (ranging from the social contract to the adoption of technical standards). Players have the option to either…

Computer Science and Game Theory · Computer Science 2018-05-24 Ioannis Avramopoulos

Finding Nash equilibria in two-player zero-sum imperfect-information games remains a central challenge in multi-agent reinforcement learning. Recent multi-round regularization methods offer a promising direction, yet existing approaches…

Machine Learning · Computer Science 2026-05-01 Eason Yu , Tzu Hao Liu , Clément L. Canonne , Yunke Wang , Chang Xu , Nguyen H. Tran , Stefano V. Albrecht

The multi-cluster games are addressed in this paper, where all players team up with the players in the cluster that they belong to, and compete against the players in other clusters to minimize the cost function of their own cluster. The…

Systems and Control · Electrical Eng. & Systems 2023-06-19 Zhenhua Deng , Yan Zhao

Coordination games have been of interest to game theorists, economists, and ecologists for many years to study such problems as the emergence of local conventions and the evolution of cooperative behavior. Approaches for understanding the…

Computer Science and Game Theory · Computer Science 2025-07-09 John S. McAlister , Nina H. Fefferman

Due to the lack of coordination, it is unlikely that the selfish players of a strategic game reach a socially good state. A possible way to cope with selfishness is to compute a desired outcome (if it is tractable) and impose it. However…

Computer Science and Game Theory · Computer Science 2010-12-20 Bruno Escoffier , Laurent Gourvès , Jérôme Monnot

We present a strategic analysis of a trust model that has recently been proposed for promoting cooperative behaviour in user-centric networks. The mechanism for cooperation is based on a combination of reputation and virtual currency…

Computer Science and Game Theory · Computer Science 2013-03-05 Marta Kwiatkowska , David Parker , Aistis Simaitis

We study the issues of existence and inefficiency of pure Nash equilibria in linear congestion games with altruistic social context, in the spirit of the model recently proposed by de Keijzer {\em et al.} \cite{DSAB13}. In such a framework,…

Computer Science and Game Theory · Computer Science 2013-08-16 Vittorio Bilò

Game theory provides an effective way to model strategic interactions among rational agents. In the context of formal verification, these ideas can be used to produce guarantees on the correctness of multi-agent systems, with a diverse…

Computer Science and Game Theory · Computer Science 2024-11-11 Marta Kwiatkowska , Gethin Norman , David Parker , Gabriel Santos

We study strategic games on weighted directed graphs, where the payoff of a player is defined as the sum of the weights on the edges from players who chose the same strategy augmented by a fixed non-negative bonus for picking a given…

Computer Science and Game Theory · Computer Science 2016-04-19 Sunil Simon , Dominik Wojtczak