Alternating weighted automata over commutative semirings
scientific article; zbMATH DE number 6882313
scientific article