@inproceedings{10.1007/11779148_6,
    Abstract = {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{\"u}chi automata over certain semirings.},
    Address = {Berlin, Heidelberg},
    Author = {Droste, Manfred and Rahonis, George},
    BookTitle = {Developments in Language Theory},
    Editor = {Ibarra, Oscar H. and Dang, Zhe},
    File = {Weighted Automata and Weighted Logics on Infinite Words - droste2006 - c.pdf},
    ISBN = {978-3-540-35430-7},
    Pages = {49--58},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Weighted Automata and Weighted Logics on Infinite Words},
    Year = {2006},
    date-added = {2022-04-30 12:54:03 +0200},
    date-modified = {2022-04-30 12:54:03 +0200},
    file-2 = {Weighted automata and weighted logics on inÖnite words - Droste-Rahonis-full-infinite-words - c.pdf},
    doi = {10.1007/11779148_6}
}

@inproceedings{10.1007/11779148_6, Abstract = {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{\"u}chi automata over certain semirings.}, Address = {Berlin, Heidelberg}, Author = {Droste, Manfred and Rahonis, George}, BookTitle = {Developments in Language Theory}, Editor = {Ibarra, Oscar H. and Dang, Zhe}, File = {Weighted Automata and Weighted Logics on Infinite Words - droste2006 - c.pdf}, ISBN = {978-3-540-35430-7}, Pages = {49--58}, Publisher = {Springer Berlin Heidelberg}, Title = {Weighted Automata and Weighted Logics on Infinite Words}, Year = {2006}, date-added = {2022-04-30 12:54:03 +0200}, date-modified = {2022-04-30 12:54:03 +0200}, file-2 = {Weighted automata and weighted logics on inÖnite words - Droste-Rahonis-full-infinite-words - c.pdf}, doi = {10.1007/11779148_6} }