research
∙
07/03/2023
Synthesising Full-Information Protocols
We lay out a model of games with imperfect information that features exp...
share
research
∙
04/23/2023
Stochastic Window Mean-payoff Games
Stochastic two-player games model systems with an environment that is bo...
research
∙
04/27/2022
Bounds for Synchronizing Markov Decision Processes
We consider Markov decision processes with synchronizing objectives, whi...
research
∙
02/25/2022
Stochastic Games with Synchronizing Objectives
We consider two-player stochastic games played on a finite graph for inf...
research
∙
04/15/2021
Stochastic Processes with Expected Stopping Time
Markov chains are the de facto finite-state model for stochastic dynamic...
research
∙
09/16/2018
Observation and Distinction. Representing Information in Infinite Games
We compare two approaches for modelling imperfect information in infinit...
research
∙
02/10/2018