We study transformations of automata and games using Muller conditions i...
This paper is concerned with games of infinite duration played over
pote...
A central question in the theory of two-player games over graphs is to
u...
We propose a variant of an algorithm introduced by Schewe and also studi...