-
Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version)
In [ABM07], Abdulla et al. introduced the concept of decisiveness, an in...
09/28/2020 ∙ by Patricia Bouyer, et al. ∙
0
∙
share
read it
-
One-Clock Priced Timed Games with Arbitrary Weights
Priced timed games are two-player zero-sum games played on priced timed ...
09/07/2020 ∙ by Thomas Brihaye, et al. ∙
0
∙
share
read it
-
Taming denumerable Markov decision processes with decisiveness
Decisiveness has proven to be an elegant concept for denumerable Markov ...
08/24/2020 ∙ by Nathalie Bertrand, et al. ∙
0
∙
share
read it
-
On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games
We study multiplayer turn-based timed games with reachability objectives...
06/18/2020 ∙ by Thomas Brihaye, et al. ∙
0
∙
share
read it
-
Decisiveness of Stochastic Systems and its Application to Hybrid Models
In [ABM07], Abdulla et al. introduced the concept of decisiveness, an in...
01/13/2020 ∙ by Patricia Bouyer, et al. ∙
0
∙
share
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...
09/30/2019 ∙ by Thomas Brihaye, et al. ∙
0
∙
share
read it
-
On Relevant Equilibria in Reachability Games
We study multiplayer reachability games played on a finite directed grap...
07/11/2019 ∙ by Thomas Brihaye, et al. ∙
0
∙
share
read it
-
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version)
We study multiplayer quantitative reachability games played on a finite ...
05/02/2019 ∙ by Thomas Brihaye, et al. ∙
0
∙
share
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...
01/11/2019 ∙ by Thomas Brihaye, et al. ∙
0
∙
share
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 ...
09/10/2018 ∙ by Thomas Brihaye, et al. ∙
0
∙
share
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 ...
06/14/2018 ∙ by Thomas Brihaye, et al. ∙
0
∙
share
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 ...
06/14/2018 ∙ by Thomas Brihaye, et al. ∙
0
∙
share
read it
-
Dynamics and Coalitions in Sequential Games
We consider N-player non-zero sum games played on finite trees (i.e., se...
09/07/2017 ∙ by Thomas Brihaye, et al. ∙
0
∙
share
read it
