Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton (0)

by I Klimann, S Lombardy, J Mairesse, C Prieur
Venue:Theoretical Computer Science