Analyzing probabilistic pushdown automata

• Authors: BRÁZDIL Tomáš; ESPARZA Javier; KIEFER Stefan; KUČERA Antonín
• Year of publication: 2013
• Type: Article in Periodical
• Magazine / Source: Formal Methods in System Design
• MU Faculty or unit: Faculty of Informatics
• Citation: BRÁZDIL, Tomáš; Javier ESPARZA; Stefan KIEFER and Antonín KUČERA. Analyzing probabilistic pushdown automata. Formal Methods in System Design. Springer Netherlands, 2013, vol. 43, No 2, p. 124-163. ISSN 0925-9856. Available from: https://dx.doi.org/10.1007/s10703-012-0166-0.
• Doi: http://dx.doi.org/10.1007/s10703-012-0166-0
• Field: Informatics
• Keywords: pushdown automata; Markov chains

Attached files

• main.pdf

• Description: The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses.

Related projects

• Centrum excelence - Institut teoretické informatiky