
-
Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version)
In [ABM07], Abdulla et al. introduced the concept of decisiveness, an in...
read it
-
One-Clock Priced Timed Games with Arbitrary Weights
Priced timed games are two-player zero-sum games played on priced timed ...
read it
-
Taming denumerable Markov decision processes with decisiveness
Decisiveness has proven to be an elegant concept for denumerable Markov ...
read it
-
On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games
We study multiplayer turn-based timed games with reachability objectives...
read it
-
Decisiveness of Stochastic Systems and its Application to Hybrid Models
In [ABM07], Abdulla et al. introduced the concept of decisiveness, an in...
read it
-
Dynamics on Games: Simulation-Based Techniques and Applications to Routing
We consider multi-player games played on graphs, in which the players ai...
read it
-
On Relevant Equilibria in Reachability Games
We study multiplayer reachability games played on a finite directed grap...
read it
-
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version)
We study multiplayer quantitative reachability games played on a finite ...
read it
-
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
The window mechanism was introduced by Chatterjee et al. [1] to strength...
read it
-
Constrained Existence Problem for Weak Subgame Perfect Equilibria with ω-Regular Boolean Objectives
We study multiplayer turn-based games played on a finite directed graph ...
read it
-
Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives (full version)
We study multiplayer turn-based games played on a finite directed graph ...
read it
-
Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives
We study multiplayer turn-based games played on a finite directed graph ...
read it
-
Dynamics and Coalitions in Sequential Games
We consider N-player non-zero sum games played on finite trees (i.e., se...
read it