research
∙
08/18/2023
Multi-Weighted Reachability Games
We study two-player multi-weighted reachability games played on a finite...
share
research
∙
07/04/2022
Non-Blind Strategies in Timed Network Congestion Games
Network congestion games are a convenient model for reasoning about rout...
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
∙
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
∙
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