English
Related papers

Related papers: Stochastic Games with Disjunctions of Multiple Obj…

200 papers

We introduce two-level discounted games played by two players on a perfect-information stochastic game graph. The upper level game is a discounted game and the lower level game is an undiscounted reachability game. Two-level games model…

Logic in Computer Science · Computer Science 2010-06-09 Krishnendu Chatterjee , Rupak Majumdar

We use the indirect evolutionary approach to study evolutionarily stable preferences against multiple mutations in single- and multi-population matching settings, respectively. Players choose strategies to maximize their subjective…

Computer Science and Game Theory · Computer Science 2025-07-08 Yu-Sung Tu , Wei-Torng Juang

We formulate a new class of two-person zero-sum differential games, in a stochastic setting, where a specification on a target terminal state distribution is imposed on the players. We address such added specification by introducing…

Systems and Control · Electrical Eng. & Systems 2019-09-13 Yongxin Chen , Tryphon T. Georgiou , Michele Pavon

Game logic is a dynamic modal logic which models strategic two person games; it contains propositional dynamic logic (PDL) as a fragment. We propose an interpretation of game logic based on stochastic effectivity functions. A definition of…

Logic in Computer Science · Computer Science 2014-04-01 Ernst-Erich Doberkat

Potential game is an emerging notion and framework for studying N-player games, especially with heterogeneous players. In this paper, we build an analytical framework for dynamic potential games. We prove that a game is a dynamic potential…

Optimization and Control · Mathematics 2024-09-09 Xin Guo , Yufei Zhang

We study a two-player discounted zero-sum stochastic game model for dynamic operational planning in military campaigns. At each stage, the players manage multiple commanders who order military actions on objectives that have an open line of…

Computer Science and Game Theory · Computer Science 2024-03-04 Joseph E. McCarthy , Mathieu Dahan , Chelsea C. White

This paper deals a novel variation of the versatile stochastic duel game, which incorporates an energy fuel constraint in a two-player duel game. The energy fuel not only measures the vitality of players but also determines the power of the…

Optimization and Control · Mathematics 2023-11-23 Song-Kyoo Kim

Infinite games where several players seek to coordinate under imperfect information are known to be intractable, unless the information flow is severely restricted. Examples of undecidable cases typically feature a situation where players…

Logic in Computer Science · Computer Science 2014-05-01 Dietmar Berwanger , Anup Basil Mathew

Consider concurrent, infinite duration, two-player win/lose games played on graphs. If the winning condition satisfies some simple requirement, the existence of Player 1 winning (finite-memory) strategies is equivalent to the existence of…

Logic in Computer Science · Computer Science 2018-05-01 Stephane Le Roux

Stochastic games are often used to model reactive processes. We consider the problem of synthesizing an optimal almost-sure winning strategy in a two-player (namely a system and its environment) turn-based stochastic game with both a…

Systems and Control · Computer Science 2015-11-03 Min Wen , Ufuk Topcu

We consider (random) strategic interactions in a large population consisting of a variety of players. A rational player chooses actions that maximize certain utility functions, while a behavioral player chooses actions based on preferences…

Optimization and Control · Mathematics 2026-02-16 Raghupati Vyas , Kousik Das , Veeraruna Kavitha , Souvik Roy

Stochastic games are fundamental in various applications, including the control of cyber-physical systems (CPS), where both controller and environment are modeled as players. Traditional algorithms typically aim to determine a single…

Systems and Control · Electrical Eng. & Systems 2025-10-17 Kittiphon Phalakarn , Sasinee Pruekprasert , Ichiro Hasuo

We study a two-player zero-sum stochastic differential game with both players adopting impulse controls, on a finite time horizon. The Hamilton-Jacobi-Bellman-Isaacs (HJBI) partial differential equation of the game turns out to be a…

Probability · Mathematics 2012-06-26 Andrea Cosso

We develop a martingale approach for studying continuous-time stochastic differential games of control and stopping, in a non-Markovian framework and with the control affecting only the drift term of the state-process. Under appropriate…

Probability · Mathematics 2008-08-28 Ioannis Karatzas , Ingrid-Mona Zamfirescu

In this work we consider a stochastic linear quadratic two-player game. The state measurements are observed through a switched noiseless communication link. Each player incurs a finite cost every time the link is established to get…

Computer Science and Game Theory · Computer Science 2017-09-21 Dipankar Maity , Achilleas Anastasopoulos , John S. Baras

We consider concurrent games played on graphs. At every round of a game, each player simultaneously and independently selects a move; the moves jointly determine the transition to a successor state. Two basic objectives are the safety…

Computer Science and Game Theory · Computer Science 2012-07-03 Krishnendu Chatterjee , Luca de Alfaro , Thomas A. Henzinger

We consider a class of two-player zero-sum stochastic games with finite state and compact control spaces, which we call stochastic shortest path (SSP) games. They are undiscounted total cost stochastic dynamic games that have a cost-free…

Optimization and Control · Mathematics 2014-12-31 Huizhen Yu

We consider two-player games over finite graphs in which both players are restricted by fairness constraints on their moves. Given a two player game graph $G=(V,E)$ and a set of fair moves $E_f\subseteq E$ a player is said to play "fair" in…

Computer Science and Game Theory · Computer Science 2026-05-12 Daniel Hausmann , Nir Piterman , Irmak Sağlam , Anne-Kathrin Schmuck

We consider a stochastic differential game in the context of forward-backward stochastic differential equations, where one player implements an impulse control while the opponent controls the system continuously. Utilizing the notion of…

Optimization and Control · Mathematics 2021-12-20 Magnus Perninge

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