research
∙
01/25/2023
Sub-game optimal strategies in concurrent games with prefix-independent objectives
We investigate concurrent two-player win/lose stochastic games on finite...
share
research
∙
04/25/2022
Strategy Synthesis for Global Window PCTL
Given a Markov decision process (MDP) M and a formula Φ, the strategy sy...
research
∙
03/14/2022
Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games
We study two-player concurrent stochastic games on finite graphs, with B...
research
∙
10/27/2021
Optimal strategies in concurrent reachability games
We study two-player reachability games on finite graphs. At each state t...
research
∙
07/08/2021
From local to global determinacy in concurrent graph games
In general, finite concurrent two-player reachability games are only det...
research
∙
12/21/2018