Analyzing probabilistic pushdown automata

The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses.

Saved in:
Bibliographic Details
Published in:Formal methods in system design 2013-10, Vol.43 (2), p.124-163
Main Authors: Brázdil, Tomáš, Esparza, Javier, Kiefer, Stefan, Kučera, Antonín
Format: Article
Language:English
Subjects:
Algorithms
CAE) and Design
Circuits and Systems
Computer-Aided Engineering (CAD
Electrical Engineering
Engineering
Software Engineering/Programming and Operating Systems
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses.
ISSN:0925-9856
1572-8102
DOI:10.1007/s10703-012-0166-0