Bi-Weekly Talk: Anton Pirogov: Ambiguity in Probabilistic Büchi Automata

Wednesday, May 20, 2020, 10:30am

Location: Zoom Meeting

Speaker: Anton Pirogov



Probabilistic Bü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. This talk presents new classes of restricted PBA which are still regular, strongly relying on notions concerning ambiguity in classical ω-automata. (joint work with Christof Löding)


External Links