| 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