Skip to content

Checking History-Determinism is NP-hard for Parity Automata.

Aditya Prakash

Year2024
ProceedingsFoSSaCS (1)

Browse the full FOSSACS paper archive.