@inproceedings{10.1007/978-3-030-45231-5_27,
    Abstract = {Probabilistic B{\"u}chi automata are a natural generalization of PFA to infinite words, but have been studied in-depth only rather recently and many interesting questions are still open. PBA are known to accept, in general, a class of languages that goes beyond the regular languages. In this work we extend the known classes of restricted PBA which are still regular, strongly relying on notions concerning ambiguity in classical {\$}{\$}{\backslash}omega {\$}{\$}-automata. Furthermore, we investigate the expressivity of the not yet considered but natural class of weak PBA, and we also show that the regularity problem for weak PBA is undecidable.},
    Address = {Cham},
    Author = {L{\"o}ding, Christof and Pirogov, Anton},
    BookTitle = {Foundations of Software Science and Computation Structures},
    Editor = {Goubault-Larrecq, Jean and K{\"o}nig, Barbara},
    File = {Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata - Löding-Pirogov2020\_Chapter\_AmbiguityWeaknessAndRegularity - a - u.pdf},
    ISBN = {978-3-030-45231-5},
    Pages = {522--541},
    Publisher = {Springer International Publishing},
    Title = {Ambiguity, Weakness, and Regularity in Probabilistic B{\"u}chi Automata},
    Year = {2020},
    date-added = {2020-08-12 11:57:20 +0200},
    date-modified = {2020-08-12 11:57:20 +0200},
    doi = {10.1007/978-3-030-45231-5_27}
}

@inproceedings{10.1007/978-3-030-45231-5_27, Abstract = {Probabilistic B{\"u}chi automata are a natural generalization of PFA to infinite words, but have been studied in-depth only rather recently and many interesting questions are still open. PBA are known to accept, in general, a class of languages that goes beyond the regular languages. In this work we extend the known classes of restricted PBA which are still regular, strongly relying on notions concerning ambiguity in classical {\$}{\$}{\backslash}omega {\$}{\$}-automata. Furthermore, we investigate the expressivity of the not yet considered but natural class of weak PBA, and we also show that the regularity problem for weak PBA is undecidable.}, Address = {Cham}, Author = {L{\"o}ding, Christof and Pirogov, Anton}, BookTitle = {Foundations of Software Science and Computation Structures}, Editor = {Goubault-Larrecq, Jean and K{\"o}nig, Barbara}, File = {Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata - Löding-Pirogov2020_Chapter_AmbiguityWeaknessAndRegularity - a - u.pdf}, ISBN = {978-3-030-45231-5}, Pages = {522--541}, Publisher = {Springer International Publishing}, Title = {Ambiguity, Weakness, and Regularity in Probabilistic B{\"u}chi Automata}, Year = {2020}, date-added = {2020-08-12 11:57:20 +0200}, date-modified = {2020-08-12 11:57:20 +0200}, doi = {10.1007/978-3-030-45231-5_27} }