research
∙
07/20/2022
Careful Autonomous Agents in Environments With Multiple Common Resources
Careful rational synthesis was defined in (Condurache et al. 2021) as a ...
share
research
∙
04/27/2022
Fairness and promptness in Muller formulas
In this paper we consider two different views of the model checking prob...
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
∙
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
∙
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
∙
06/26/2018
Banach-Mazur Parity Games and Almost-sure Winning Strategies
Two-player stochastic games are games with two 2 players and a randomise...
research
∙
07/21/2017