Analyzing probabilistic pushdown automata

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

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