Methods for Quantitative Analysis of Probabilistic Pushdown Automata

Warning

This publication doesn't include Faculty of Arts. 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:

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