research
∙
04/29/2023
Positionality of mean-payoff games on infinite graphs
This short note establishes positionality of mean-payoff games over infi...
share
research
∙
03/02/2023
Canonical decompositions in monadically stable and bounded shrubdepth graph classes
We use model-theoretic tools originating from stability theory to derive...
research
∙
01/31/2023
Flipper games for monadically stable graph classes
A class of graphs 𝒞 is monadically stable if for any unary expansion 𝒞 o...
research
∙
09/24/2022
Characterising memory in infinite games
This paper is concerned with games of infinite duration played over pote...
research
∙
05/09/2022
Characterizing Positionality in Games of Infinite Duration over Infinite Graphs
We study turn-based quantitative games of infinite duration opposing two...
research
∙
10/24/2021
Scaling Neural Program Synthesis with Distribution-based Search
We consider the problem of automatically constructing computer programs ...
research
∙
10/14/2021
On the ESL algorithm for solving energy games
We propose a variant of an algorithm introduced by Schewe and also studi...
research
∙
10/09/2021
The GKK Algorithm is the Fastest over Simple Mean-Payoff Games
We study the algorithm of Gurvich, Khachyian and Karzanov (GKK algorithm...
research
∙
09/17/2021
New Algorithms for Combinations of Objectives using Separating Automata
The notion of separating automata was introduced by Bojanczyk and Czerwi...
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
∙
10/16/2020
A symmetric attractor-decomposition lifting algorithm for parity games
Progress-measure lifting algorithms for solving parity games have the be...
research
∙
11/04/2019
Controlling a random population
Bertrand et al. introduced a model of parameterised systems, where each ...
research
∙
07/18/2019
On the Monniaux Problem in Abstract Interpretation
The Monniaux Problem in abstract interpretation asks, roughly speaking, ...
research
∙
12/17/2018
The complexity of mean payoff games using universal graphs
We study the computational complexity of solving mean payoff games. This...
research
∙
01/09/2017