Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton.

Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur

Browse the full DLT paper archive.