Analyzing probabilistic pushdown automata

Investor logo

Warning

This publication doesn't include Faculty of Sports Studies. 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
Description The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info