Ambiguity, Weakness, and Regularity in Probabilistic Bchi Automata.

Christof Lding, Anton Pirogov

Browse the full FOSSACS paper archive.