P | |
---|---|
[Pra24] | Aditya Prakash. Checking History-Determinism is NP-hard for Parity Automata. In FoSSaCS'24, Lecture Notes in Computer Science 14574, pages 212-233. Springer-Verlag, April 2024. |
Search
Displayed 1 resultList of authors
- 1
P | |
---|---|
[Pra24] | Aditya Prakash. Checking History-Determinism is NP-hard for Parity Automata. In FoSSaCS'24, Lecture Notes in Computer Science 14574, pages 212-233. Springer-Verlag, April 2024. |