Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds

Maciej Gazda, Tim A. C. Willemse

Dull, weak and nested solitaire games are important classes of parity games, capturing, among others, alternation-free mu-calculus and ECTL* model checking problems. These classes…