Weighted automata on infinite words in the context of attacker-defender games
scientific article; zbMATH DE number 6758663
scientific article