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
∙
12/22/2022
Playing Safe, Ten Years Later
We consider two-player games over graphs and give tight bounds on the me...
research
∙
01/09/2022
First-order separation over countable ordinals
We show that the existence of a first-order formula separating two monad...
research
∙
04/12/2021
The Theory of Universal Graphs for Infinite Duration Games
We introduce the notion of universal graphs as a tool for constructing a...
research
∙
11/04/2019
Controlling a random population
Bertrand et al. introduced a model of parameterised systems, where each ...
research
∙
02/25/2019
On reachability problems for low dimensional matrix semigroups
We consider the Membership and the Half-space Reachability Problems for ...
research
∙
10/11/2018
Parity games and universal graphs
This paper is a contribution to the study of parity games and the recent...
research
∙
12/19/2017