Methods for quantitative analysis of probabilistic pushdown automata

MaRDI QIDQ2852013zbMATH OpenFDO

Authors Antonin Kučera

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106000508

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited in

(6)

• Weighted one-deterministic-counter automata
• Properties of probabilistic pushdown automata
• NON-CONSTRUCTIVE METHODS FOR FINITE PROBABILISTIC AUTOMATA
• Analyzing probabilistic pushdown automata
• One-way bounded-error probabilistic pushdown automata and Kolmogorov complexity (preliminary report)
• Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata

This page was built for publication: Methods for quantitative analysis of probabilistic pushdown automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852013)