Original language | English |
---|---|
Title of host publication | Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
Publication status | Accepted/In press - 5 Apr 2023 |
Externally published | Yes |
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
Laure Daviaud, David Purser
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution