Methods for Quantitative Analysis of Probabilistic Pushdown Automata

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

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