The Variable Hierarchy for the Games mu-Calculus

Walid Belkhir, Luigi Santocanale

Parity games are combinatorial representations of closed Boolean mu-terms. By adding to them draw positions, they have been organized by Arnold and one of the authors into a mu-cal…