Index problems for game automata

Alessandro Facchini, Filip Murlak, Michał Skrzypczak

For a given regular language of infinite trees, one can ask about the minimal number of priorities needed to recognize this language with a non-deterministic, alternating, or weak…