Weighted automata and weighted MSO logics for average and long-time behaviors
scientific article; zbMATH DE number 6126527
scientific article