Deciding Unambiguity and Sequentiality of Polynomially Ambiguous Min-Plus Automata.

Daniel Kirsten, Sylvain Lombardy

Browse the full STACS paper archive.