Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:
| Indexado |
|
||||
| DOI | 10.1016/J.IC.2020.104648 | ||||
| Año | 2022 | ||||
| Tipo | artículo de investigación |
Citas Totales
Autores Afiliación Chile
Instituciones Chile
% Participación
Internacional
Autores
Afiliación Extranjera
Instituciones
Extranjeras
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 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 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.
| Ord. | Autor | Género | Institución - País |
|---|---|---|---|
| 1 | Fijalkow, Nathanael | Hombre |
CNRS Centre National de la Recherche Scientifique - Francia
The Alan Turing Institute of data science - Irlanda CNRS - Francia Alan Turing Inst Data Sci - Reino Unido Laboratoire Bordelais de Recherche en Informatique - Francia |
| 2 | Riveros, Cristian | Hombre |
Pontificia Universidad Católica de Chile - Chile
Instituto Milenio Fundamentos de los Datos - Chile Millennium Institute for Foundational Research on Data (IMFD) - Chile |
| 3 | Worrell, James | Hombre |
University of Oxford - Reino Unido
UNIV OXFORD - Reino Unido |