Methods for quantitative analysis of probabilistic pushdown automata
From MaRDI portal
Publication:2852013
zbMATH Open1273.68199MaRDI QIDQ2852013FDOQ2852013
Authors: Antonin Kučera 
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000508
Cited In (5)
- 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)
