Methods for Quantitative Analysis of Probabilistic Pushdown Automata

• Authors: KUČERA Antonín
• Year of publication: 2006
• Type: Article in Periodical
• Magazine / Source: Electronic Notes in Theoretical Computer Science
• MU Faculty or unit: Faculty of Informatics
• Field: Informatics
• Keywords: Infinite Markov Chains; Probabilistic Pushdown Automata
• Description: We present a short overview of results about the problems of qualitative/quantitative analysis of probabilistic pushdown automata.

Related projects

• Institute for Theoretical Computer Science
• Highly Parallel and Distributed Computing Systems