Weighted automata with discounting
scientific article; zbMATH DE number 5694996
scientific article