The Joker Game Only Characterizes History-Determinism in Parity Automata With up to Two Priorities.

Dorian Guyot, Ulrich Ultes-Nitsche

Browse the full DLT paper archive.