research
∙
10/18/2022
How to Play Optimally for Regular Objectives?
This paper studies two-player zero-sum games played on graphs and makes ...
share
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
∙
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
∙
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
∙
12/10/2018