Calude et al. have recently shown that parity games can be solved in
qua...
We develop an algorithm that combines the advantages of priority promoti...
In this paper we revisit the approaches to the solution of parity games ...
We propose a novel algorithm for the solution of mean-payoff games that
...
The McNaughton-Zielonka divide et impera algorithm is the simplest and m...