Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata.

Jacques Duparc, Alessandro Facchini, Filip Murlak

Browse the full CSL paper archive.