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
• 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