research
∙
05/07/2023
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism
We study transformations of automata and games using Muller conditions i...
share
research
∙
09/24/2022
Characterising memory in infinite games
This paper is concerned with games of infinite duration played over pote...
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/14/2021