What's decidable about weighted automata?
scientific article; zbMATH DE number 7452651
scientific article