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
∙
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/21/2021
Finite-memory strategies in two-player infinite games
We study infinite two-player win/lose games (A,B,W) where A,B are finite...
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
∙
01/12/2020
Games Where You Can Play Optimally with Finite Memory
For decades, two-player (antagonistic) games on graphs have been a frame...
research
∙
07/11/2019
Time-aware uniformization of winning strategies
Two-player win/lose games of infinite duration are involved in several d...
research
∙
05/09/2019
TRIDEnT: Building Decentralized Incentives for Collaborative Security
Sophisticated mass attacks, especially when exploiting zero-day vulnerab...
research
∙
08/17/2018
Extending finite-memory determinacy by Boolean combination of winning conditions
We study finite-memory (FM) determinacy in games on finite graphs, a cen...
research
∙
04/29/2018
Concurrent games and semi-random determinacy
Consider concurrent, infinite duration, two-player win/lose games played...
research
∙
03/01/2018
Memoryless Determinacy of Infinite Parity Games: Another Simple Proof
The memoryless determinacy of infinite parity games was proven independe...
research
∙
10/22/2017
The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes
We study the never-worse relation (NWR) for Markov decision processes wi...
research
∙
09/07/2017
Dynamics and Coalitions in Sequential Games
We consider N-player non-zero sum games played on finite trees (i.e., se...
research
∙
09/07/2017
