Christof Löding, Anton Pirogov: Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata. FoSSaCS 2020: 522-541