English
Related papers

Related papers: Qualitative Criterion for Interception in a Pursui…

200 papers

We examine sequential equilibrium in the context of computational games, where agents are charged for computation. In such games, an agent can rationally choose to forget, so issues of imperfect recall arise. In this setting, we consider…

Computer Science and Game Theory · Computer Science 2014-12-22 Joseph Y. Halpern , Rafael Pass

In this paper we study a linear pursuit differential game described by an infinite system of first-order differential equations in Hilbert space. The control functions of players are subject to geometric constraints. The pursuer attempts to…

Optimization and Control · Mathematics 2020-02-19 Gafurjan Ibragimov , Massimiliano Ferrara , Idham Arif Alias , Mehdi Salimi

We investigate the existence of certain types of equilibria (Nash, $\varepsilon$-Nash, subgame perfect, $\varepsilon$-subgame perfect, Pareto-optimal) in multi-player multi-outcome infinite sequential games. We use two fundamental…

Logic in Computer Science · Computer Science 2016-03-18 Stéphane Le Roux , Arno Pauly

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

Algorithms for computing game-theoretic solutions have recently been applied to a number of security domains. However, many of the techniques developed for compact representations of security games do not extend to {\em Bayesian} security…

Computer Science and Game Theory · Computer Science 2016-04-19 Yuqian Li , Vincent Conitzer , Dmytro Korzhyk

In many cases the Nash equilibria are not predictive of the experimental players' behaviour. For some games of Game Theory it is proposed here a method to estimate the probabilities with which the different options will be actually chosen…

Optimization and Control · Mathematics 2014-04-10 Cesco Reale

We study the existence and computation of Nash equilibria in concave games where the players' admissible strategies are subject to shared coupling constraints. Under playerwise concavity of constraints, we prove existence of Nash…

Computer Science and Game Theory · Computer Science 2026-02-09 Philip Jordan , Maryam Kamgarpour

We study turn-based quantitative multiplayer non zero-sum games played on finite graphs with reachability objectives. In such games, each player aims at reaching his own goal set of states as soon as possible. A previous work on this model…

Computer Science and Game Theory · Computer Science 2019-03-14 Thomas Brihaye , Véronique Bruyère , Julie De Pril , Hugo Gimbert

We consider a nonzero-sum N-player Markov game on an abstract measurable state space with compact metric action spaces. The payoff functions are bounded Carath\'eodory functions and the transitions of the system are assumed to have a…

Optimization and Control · Mathematics 2023-05-09 François Dufour , Tomás Prieto-Rumeau

In this paper, we study turn-based quantitative multiplayer non zero-sum games played on finite graphs with both reachability and safety objectives. In this framework a player with a reachability objective aims at reaching his own goal as…

Computer Science and Game Theory · Computer Science 2012-05-23 Thomas Brihaye , Véronique Bruyère , Julie De Pril

Under what conditions do the behaviors of players, who play a game repeatedly, converge to a Nash equilibrium? If one assumes that the players' behavior is a discrete-time or continuous-time rule whereby the current mixed strategy profile…

Computer Science and Game Theory · Computer Science 2022-03-29 Jason Milionis , Christos Papadimitriou , Georgios Piliouras , Kelly Spendlove

Examining the behavior of multi-agent systems is vitally important to many emerging distributed applications - game theory has emerged as a powerful tool set in which to do so. The main approach of game-theoretic techniques is to model…

Computer Science and Game Theory · Computer Science 2024-06-03 Rohit Konda , Rahul Chandan , Jason Marden

We consider a sequential inspection game where an inspector uses a limited number of inspections over a larger number of time periods to detect a violation (an illegal act) of an inspectee. Compared with earlier models, we allow varying…

Computer Science and Game Theory · Computer Science 2016-08-24 Bernhard von Stengel

In this short note we study a class of multi-player, turn-based games with deterministic state transitions and reachability / safety objectives (this class contains as special cases "classic" two-player reachability and safety games as well…

Computer Science and Game Theory · Computer Science 2018-10-05 Athanasios Kehagias

We study a pursuit-evasion game between a double integrator-driven pursuer with bounded velocity and bounded acceleration and a single integrator-driven evader with bounded velocity in a two-dimensional plane. The pursuer's goal is to…

Systems and Control · Electrical Eng. & Systems 2025-08-05 Zehua Zhao , Rui Yan , Jianping He , Xinping Guan , Xiaoming Duan

The extension of a conflict control problem with infinite horizon is constructed. This extension is the projective limit of restricted games. Relations between "sensitivity to target set" and the existence of the optimal control are…

Optimization and Control · Mathematics 2010-12-17 Dmitry Khlopin

This paper studies a planar multiplayer Homicidal Chauffeur reach-avoid differential game, where each pursuer is a Dubins car and each evader has simple motion. The pursuers aim to protect a goal region cooperatively from the evaders. Due…

Computer Science and Game Theory · Computer Science 2021-07-13 Rui Yan , Ruiliang Deng , Haowen Lai , Weixian Zhang , Zongying Shi , Yisheng Zhong

We provide a necessary and sufficient condition under which a convex set is approachable in a game with partial monitoring, i.e.\ where players do not observe their opponents' moves but receive random signals. This condition is an extension…

Computer Science and Game Theory · Computer Science 2011-02-23 Vianney Perchet

In classical works on a planar differential pursuit-evasion game with a faster pursuer, the intercept point resulting from the equilibrium strategies lies on the Apollonius circle. This property was exploited for the construction of the…

In finite games mixed Nash equilibria always exist, but pure equilibria may fail to exist. To assess the relevance of this nonexistence, we consider games where the payoffs are drawn at random. In particular, we focus on games where a large…

Computer Science and Game Theory · Computer Science 2020-06-18 Ben Amiet , Andrea Collevecchio , Marco Scarsini , Ziwen Zhong