Random Fruits on the Zielonka Tree

Florian Horn

Stochastic games are a natural model for the synthesis of controllers confronted to adversarial and/or random actions. In particular, $\omega$-regular games of infinite length can repre…