research
∙
05/17/2023
Games on Graphs
The objective of this collaborative textbook is to present the state of ...
share
research
∙
10/18/2022
How to Play Optimally for Regular Objectives?
This paper studies two-player zero-sum games played on graphs and makes ...
research
∙
05/09/2022
Timed Games with Bounded Window Parity Objectives
The window mechanism, introduced by Chatterjee et al. for mean-payoff an...
research
∙
05/03/2022
Half-Positional Objectives Recognized by Deterministic Büchi Automata
A central question in the theory of two-player games over graphs is to u...
research
∙
01/26/2022
Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions
Two-player (antagonistic) games on (possibly stochastic) graphs are a pr...
research
∙
10/04/2021
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs
We consider zero-sum games on infinite graphs, with objectives specified...
research
∙
05/14/2021
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives
The window mechanism was introduced by Chatterjee et al. to reinforce me...
research
∙
02/19/2021
Arena-Independent Finite-Memory Determinacy in Stochastic Games
We study stochastic zero-sum games on graphs, which are prevalent tools ...
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
∙
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
∙
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
∙
10/24/2019
Simple Strategies in Multi-Objective MDPs (Technical Report)
We consider the verification of multiple expected reward objectives at o...
research
∙
07/02/2019
Energy mean-payoff games
In this paper, we study one-player and two-player energy mean-payoff gam...
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
Multi-weighted Markov Decision Processes with Reachability Objectives
In this paper, we are interested in the synthesis of schedulers in doubl...
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
∙
02/17/2017