TY  - RPRT
TI  - Checking History-Determinism is NP-hard for Parity Automata
AU  - Keya Prakash
PY  - 2024
UR  - https://arxiv.org/abs/2310.13498
ID  - 2310.13498
ER  -