research
∙
05/02/2022
Smaller Progress Measures and Separating Automata for Parity Games
Calude et al. have recently shown that parity games can be solved in qua...
share
research
∙
04/16/2021
Priority Promotion with Parysian Flair
We develop an algorithm that combines the advantages of priority promoti...
research
∙
08/10/2020
From Quasi-Dominions to Progress Measures
In this paper we revisit the approaches to the solution of parity games ...
research
∙
07/14/2019
Solving Mean-Payoff Games via Quasi Dominions
We propose a novel algorithm for the solution of mean-payoff games that ...
research
∙
09/07/2017