Deciding Unambiguity and Sequentiality starting from a Finitely Ambiguous Max-Plus Automaton

Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur. Deciding Unambiguity and Sequentiality starting from a Finitely Ambiguous Max-Plus Automaton. CoRR, abs/0709.4117, 2007. [doi]

Abstract

Abstract is missing.