Weighted automata and weighted logics on infinite words
Manfred Droste, George Rahonis · Russian Mathematics · 2010
We introduce weighted automata over infinite words with Muller acceptance condition and we show that their behaviors coincide with the semantics of weighted restricted MSO-sentences. Furthermore, we establish an equivalence property of weighted Muller and weighted Büchi automata over certain semirings.