The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)

Laure Daviaud, David Purser

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationThirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Publication statusAccepted/In press - 5 Apr 2023
Externally publishedYes

Cite this