Checking History Determinism for Parity Automata Is in NP.

Karoliina Lehtinen, Keya Prakash, Michal Skrzypczak

Browse the full LICS paper archive.