A Burnside Approach to the Termination of Mohri s Algorithm for Polynomially Ambiguous Min-Plus-Automata

Daniel Kirsten. A Burnside Approach to the Termination of Mohri s Algorithm for Polynomially Ambiguous Min-Plus-Automata. ITA, 42(3):553-581, 2008. [doi]

Abstract

Abstract is missing.