research
∙
08/18/2023
Multi-Weighted Reachability Games
We study two-player multi-weighted reachability games played on a finite...
share
research
∙
08/18/2023
Quantitative Reachability Stackelberg-Pareto Synthesis is NEXPTIME-Complete
In this paper, we deepen the study of two-player Stackelberg games playe...
research
∙
05/06/2023
Valuing the Electricity Produced Locally in Renewable Energy Communities through Noncooperative Resources Scheduling Games
We propose two market designs for the optimal day-ahead scheduling of en...
research
∙
09/21/2022
Adversarial Formal Semantics of Attack Trees and Related Problems
Security is a subject of increasing attention in our actual society in o...
research
∙
09/28/2020
Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version)
In [ABM07], Abdulla et al. introduced the concept of decisiveness, an in...
research
∙
09/07/2020
One-Clock Priced Timed Games with Arbitrary Weights
Priced timed games are two-player zero-sum games played on priced timed ...
research
∙
08/24/2020
Taming denumerable Markov decision processes with decisiveness
Decisiveness has proven to be an elegant concept for denumerable Markov ...
research
∙
06/18/2020
On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games
We study multiplayer turn-based timed games with reachability objectives...
research
∙
01/13/2020
Decisiveness of Stochastic Systems and its Application to Hybrid Models
In [ABM07], Abdulla et al. introduced the concept of decisiveness, an in...
research
∙
09/30/2019
Dynamics on Games: Simulation-Based Techniques and Applications to Routing
We consider multi-player games played on graphs, in which the players ai...
research
∙
07/11/2019
On Relevant Equilibria in Reachability Games
We study multiplayer reachability games played on a finite directed grap...
research
∙
05/02/2019
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version)
We study multiplayer quantitative reachability games played on a finite ...
research
∙
01/11/2019
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
The window mechanism was introduced by Chatterjee et al. [1] to strength...
research
∙
09/10/2018
Constrained Existence Problem for Weak Subgame Perfect Equilibria with ω-Regular Boolean Objectives
We study multiplayer turn-based games played on a finite directed graph ...
research
∙
06/14/2018
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 ...
research
∙
06/14/2018
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 ...
research
∙
09/07/2017