Skip to Main content Skip to Navigation
Journal articles

Probabilistic Automata of Bounded Ambiguity

Abstract : Probabilistic automata are an extension of nondeterministic finite automata in which transitions are annotated with probabilities. 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 (and its variant the value problem), which asks whether a given probabilistic automaton accepts some word with probability greater 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. The known undecidability proofs exploits infinite ambiguity and so we focus on the case of finitely ambiguous probabilistic automata. Our main contributions 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 probabilistic automata of fixed ambiguity and a quasi-polynomial time algorithm for the emptiness problem for 2-ambiguous probabilistic automata. We complement these positive results by an inapproximability result stating that the value of finitely ambiguous probabilistic automata cannot be approximated unless P = NP.
Document type :
Journal articles
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Nathanaël Fijalkow Connect in order to contact the contributor
Submitted on : Monday, March 9, 2020 - 9:11:20 PM
Last modification on : Friday, March 13, 2020 - 5:18:06 PM
Long-term archiving on: : Wednesday, June 10, 2020 - 5:14:57 PM


Files produced by the author(s)


  • HAL Id : hal-02503353, version 1



Nathanaël Fijalkow, Cristian Riveros, James Worrell. Probabilistic Automata of Bounded Ambiguity. Information and Computation, Elsevier, In press. ⟨hal-02503353⟩



Record views


Files downloads