"The Validity of Weighted Automata."

Sylvain Lombardy, Jacques Sakarovitch (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics