English
Related papers

Related papers: Dependent Types for Extensive Games

200 papers

In this paper I present several algorithmic techniques for improving the decision process of multiple types of agents behaving in environments where their interests are in conflict. The interactions between the agents are modelled by using…

Computer Science and Game Theory · Computer Science 2009-08-04 Mugurel Ionut Andreica

The field of Game Theory provides a useful mechanism for modeling many decision-making scenarios. In participating in these scenarios individuals and groups adopt particular strategies, which generally perform with varying levels of…

Multiagent Systems · Computer Science 2018-07-24 Francis Lawlor , Rem Collier , Vivek Nallur

Extensive work has been conducted both in game theory and logic to model strategic interaction. An important question is whether we can use these theories to design agents for interacting with people? On the one hand, they provide a formal…

Artificial Intelligence · Computer Science 2016-06-27 Sarit Kraus

Admissibility has been studied for games of infinite duration with Boolean objectives. We extend here this study to games of infinite duration with quantitative objectives. First, we show that, un- der the assumption that optimal worst-case…

Logic in Computer Science · Computer Science 2016-11-29 Romain Brenguier , Guillermo A. Pérez , Jean-François Raskin , Ocan Sankur

This paper introduces Gm, which is a category for extensive-form games. It also provides some applications. The category's objects are games, which are understood to be sets of nodes which have been endowed with edges, information sets,…

Theoretical Economics · Economics 2021-06-08 Peter A. Streufert

Strategy Logic (SL) is a very expressive logic for specifying and verifying properties of multi-agent systems: in SL, one can quantify over strategies, assign them to agents, and express properties of the resulting plays. Such a powerful…

Logic in Computer Science · Computer Science 2017-08-22 Patrick Gardy , Patricia Bouyer , Nicolas Markey

Dynamic game theory is an increasingly popular tool for modeling multi-agent, e.g. human-robot, interactions. Game-theoretic models presume that each agent wishes to minimize a private cost function that depends on others' actions. These…

Robotics · Computer Science 2025-10-17 Cade Armstrong , Ryan Park , Xinjie Liu , Kushagra Gupta , David Fridovich-Keil

We review and develop a selection of models of systems with competition and cooperation, with origins in economics, where deep insights can be obtained by the mathematical methods of game theory. Some of these models were touched upon in…

Optimization and Control · Mathematics 2012-01-10 Vassili N. Kolokoltsov , Oleg A. Malafeyev

Nguyen et al. [1] introduced altruistic hedonic games in which agents' utilities depend not only on their own preferences but also on those of their friends in the same coalition. We propose to extend their model to coalition formation…

Computer Science and Game Theory · Computer Science 2023-01-16 Anna Maria Kerkmann , Simon Cramer , Jörg Rothe

We study the strategic aspects of social influence in a society of agents linked by a trust network, introducing a new class of games called games of influence. A game of influence is an infinite repeated game with incomplete information in…

Computer Science and Game Theory · Computer Science 2016-02-09 Umberto Grandi , Emiliano Lorini , Laurent Perrussel

We define solution concepts appropriate for computationally bounded players playing a fixed finite game. To do so, we need to define what it means for a \emph{computational game}, which is a sequence of games that get larger in some…

Computer Science and Game Theory · Computer Science 2015-06-10 Joseph Y. Halpern , Rafael Pass , Lior Seeman

We propose a game-theoretic framework that incorporates both incomplete information and general ambiguity attitudes on factors external to all players. Our starting point is players' preferences on payoff-distribution vectors, essentially…

Economics · Quantitative Finance 2017-04-04 Jian Yang

Traditional economic models typically treat private information, or signals, as generated from some underlying state. Recent work has explicated alternative models, where signals correspond to interpretations of available information. We…

Computer Science and Game Theory · Computer Science 2012-02-20 Michael P. Wellman , Lu Hong , Scott E. Page

We study an interacting agent model of a game-theoretical economy. The agents play a minority-subsequently-majority game and they learn, using backpropagation networks, to obtain higher payoffs. We study the relevance of heterogeneity to…

Condensed Matter · Physics 2007-05-23 Wan Ahmad Tajuddin Wan Abdullah

This paper deals with a new measure of the influence of each feature on the response variable in classification problems, accounting for potential dependencies among certain feature subsets. Within this framework, we consider a sample of…

Optimization and Control · Mathematics 2024-08-06 Laura Davila-Pena , Alejandro Saavedra-Nieves , Balbina Casas-Méndez

Existing web infrastructures have supported the publication of a tremendous amount of resources, and over the past few years Data Resource Usage is an everyday task for millions of users all over the world. In this work we model Resource…

Computer Science and Game Theory · Computer Science 2012-04-20 Paraskevas V. Lekeas

Evolutionary game theory combines game theory and dynamical systems and is customarily adopted to describe evolutionary dynamics in multi-agent systems. In particular, it has been proven to be a successful tool to describe multi-agent…

Computer Science and Game Theory · Computer Science 2013-04-05 Nicola Gatti , Fabio Panozzo , Marcello Restelli

Compositional Game Theory is a new, recently introduced model of economic games based upon the computer science idea of compositionality. In it, complex and irregular games can be built up from smaller and simpler games, and the equilibria…

Computer Science and Game Theory · Computer Science 2017-11-22 Neil Ghani , Clemens Kupke , Alasdair Lambert , Fredrik Nordvall Forsberg

We introduce and investigate a range of general notions of a game. Our principal notion is based on a set of agents modifying a relational structure in a discrete evolution sequence. We also introduce and study a variety of ways to model…

Logic in Computer Science · Computer Science 2019-11-20 Antti Kuusisto

The use of game theoretic methods for control in multiagent systems has been an important topic in recent research. Valid utility games in particular have been used to model real-world problems; such games have the convenient property that…

Computer Science and Game Theory · Computer Science 2022-09-16 David Grimsman , Philip N. Brown , Jason R. Marden