eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2017-09-01
19:1
19:14
10.4230/LIPIcs.CONCUR.2017.19
article
Probabilistic Automata of Bounded Ambiguity
Fijalkow, Nathanaël
Riveros, Cristian
Worrell, James
Probabilistic automata are a computational model introduced by Michael Rabin, extending nondeterministic finite automata with probabilistic transitions. Despite its simplicity, this model is very expressive and many of the associated algorithmic questions are undecidable. In this work we focus on the emptiness problem, which asks whether a given probabilistic automaton accepts some word with probability higher than a given threshold. We consider a natural and well-studied structural restriction on automata, namely the degree of ambiguity, which is defined as the maximum number of accepting runs over all words. We observe that undecidability of the emptiness problem requires infinite ambiguity and so we focus on the case of finitely ambiguous probabilistic automata.
Our main results are to construct efficient algorithms for analysing finitely ambiguous probabilistic automata through a reduction to a multi-objective optimisation problem, called the stochastic path problem. We obtain a polynomial time algorithm for approximating the value of finitely ambiguous probabilistic automata and a quasi-polynomial time algorithm for the emptiness problem for 2-ambiguous probabilistic automata.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol085-concur2017/LIPIcs.CONCUR.2017.19/LIPIcs.CONCUR.2017.19.pdf
Probabilistic Automata
Emptiness Problem
Stochastic Path Problem
Multi-Objective Optimisation Problems