Analyzing probabilistic pushdown automata

作者：Brazdil Tomas; Esparza Javier; Kiefer Stefan; Kucera Antonin^*

来源：Formal Methods in System Design, 2013, 43(2): 124-163.

DOI：10.1007/s10703-012-0166-0

• Markov chains
• Pushdown automata
• Model checking

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

• 出版日期2013-10