English
Related papers

Related papers: Alpaga: A Tool for Solving Parity Games with Imper…

200 papers

The recently defined class of integer programming games (IPG) models situations where multiple self-interested decision makers interact, with their strategy sets represented by a finite set of linear constraints together with integer…

Computer Science and Game Theory · Computer Science 2023-04-25 Margarida Carvalho , Andrea Lodi , João Pedro Pedroso

In this paper, we address the problem of a two-player linear quadratic differential game with incomplete information, a scenario commonly encountered in multi-agent control, human-robot interaction (HRI), and approximation methods for…

Systems and Control · Electrical Eng. & Systems 2025-04-25 Seyed Yousef Soltanian , Wenlong Zhang

Concurrent parameterized games involve a fixed yet arbitrary number of players. They are described by finite arenas in which the edges are labeled with languages that describe the possible move combinations leading from one vertex to…

Logic in Computer Science · Computer Science 2025-05-22 Nathalie Bertrand , Patricia Bouyer , Gaëtan Staquet

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

We propose a class of two person perfect information games based on weighted graphs. One of these games can be described in terms of a round pizza which is cut radially into pieces of varying size. The two players alternately take pieces…

Combinatorics · Mathematics 2015-11-12 Daniel E. Brown , Lawrence G. Brown

We present a robust framework with computational algorithms to support decision makers in sequential games. Our framework includes methods to solve games with complete information, assess the robustness of such solutions and, finally,…

Computation · Statistics 2024-02-22 Tahir Ekin , Roi Naveiro , Alberto Torres-Barrán , David Ríos-Insua

We study the optimal use of information in Markov games with incomplete information on one side and two states. We provide a finite-stage algorithm for calculating the limit value as the gap between stages goes to 0, and an optimal strategy…

Optimization and Control · Mathematics 2019-03-19 Galit Ashkenazi-Golan , Catherine Rainer , Eilon Solan

While discounted payoff games and classic games that reduce to them, like parity and mean-payoff games, are symmetric, their solutions are not. We have taken a fresh view on the properties that optimal solutions need to have, and devised a…

Data Structures and Algorithms · Computer Science 2026-03-11 Daniele Dell'Erba , Arthur Dumas , Sven Schewe

$\alpha\mu$ is a search algorithm which repairs two defaults of Perfect Information Monte Carlo search: strategy fusion and non locality. In this paper we optimize $\alpha\mu$ for the game of Bridge, avoiding useless computations. The…

Artificial Intelligence · Computer Science 2021-02-01 Tristan Cazenave , Swann Legras , Véronique Ventos

We consider two-player partial-observation stochastic games on finite-state graphs where player 1 has partial observation and player 2 has perfect observation. The winning condition we study are \omega-regular conditions specified as parity…

Logic in Computer Science · Computer Science 2014-01-15 Krishnendu Chatterjee , Laurent Doyen , Sumit Nain , Moshe Y. Vardi

Calude et al. have recently shown that parity games can be solved in quasi-polynomial time, a landmark result that has led to a number of approaches with quasi-polynomial complexity. Jurdinski and Lasic have further improved the precise…

Data Structures and Algorithms · Computer Science 2022-11-18 Daniele Dell'Erba , Sven Schewe

Bridge is a trick-taking card game requiring the ability to evaluate probabilities since it is a game of incomplete information where each player only sees its cards. In order to choose a strategy, a player needs to gather information about…

Artificial Intelligence · Computer Science 2020-01-23 J Li , S Thepaut , V Ventos

The sequential equilibrium is a standard solution concept for extensive-form games with imperfect information that includes an explicit representation of the players' beliefs. An assessment consisting of a strategy and a belief is a…

Computer Science and Game Theory · Computer Science 2024-02-08 Moritz Graf , Thorsten Engesser , Bernhard Nebel

Poker is an imperfect information game that has served as a long-standing benchmark for decision-making under uncertainty. To maximize utility beyond the Nash equilibrium, an agent can deviate from Nash-equilibrium policies to exploit…

Machine Learning · Computer Science 2026-05-12 Vlad Murgoci , Matthijs Spaan , Yaniv Oren

In this paper we investigate lossy channel games under incomplete information, where two players operate on a finite set of unbounded FIFO channels and one player, representing a system component under consideration operates under…

Logic in Computer Science · Computer Science 2013-03-05 Rayna Dimitrova , Bernd Finkbeiner

We consider turn-based stochastic two-player games with a combination of a parity condition that must hold surely, that is in all possible outcomes, and of a parity condition that must hold almost-surely, that is with probability 1. The…

Computer Science and Game Theory · Computer Science 2026-01-08 Laurent Doyen , Shibashis Guha

The computation of a solution concept of a cooperative game usually employs values of all coalitions. However, in some applications, the values of some of the coalitions might be unknown due to high costs associated with their determination…

Computer Science and Game Theory · Computer Science 2023-03-31 Martin Cerny , Michel Grabisch

This paper introduces an information-theoretic method for selecting a subset of problems which gives the most information about a group of problem-solving algorithms. This method was tested on the games in the General Video Game AI (GVGAI)…

Artificial Intelligence · Computer Science 2020-05-19 Matthew Stephenson , Damien Anderson , Ahmed Khalifa , John Levine , Jochen Renz , Julian Togelius , Christoph Salge

While there have been many proposals on making AI algorithms explainable, few have attempted to evaluate the impact of AI-generated explanations on human performance in conducting human-AI collaborative tasks. To bridge the gap, we propose…

Computers and Society · Computer Science 2019-09-24 Arijit Ray , Yi Yao , Rakesh Kumar , Ajay Divakaran , Giedrius Burachas

Concurrent stochastic games (CSGs) are an ideal formalism for modelling probabilistic systems that feature multiple players or components with distinct objectives making concurrent, rational decisions. Examples include communication or…

Logic in Computer Science · Computer Science 2020-07-27 Marta Kwiatkowska , Gethin Norman , David Parker , Gabriel Santos