research
∙
05/31/2023
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games (full version)
We compare games under delayed control and delay games, two types of inf...
share
research
∙
02/13/2023
Deterministic regular functions of infinite words
Regular functions of infinite words are (partial) functions realized by ...
research
∙
03/07/2022
Weakness Makes Muller Delay Games Hard
We show that solving delay games with winning conditions given by determ...
research
∙
03/09/2021
Continuous Uniformization of Rational Relations and Synthesis of Computable Functions
A uniformizer of a binary relation is a function whose graph is containe...
research
∙
03/09/2021