"Bro\u017Eek, V\u00E1clav" . . "Electronic Notes in Theoretical Computer Science" . "305485" . . . "[0934317C24DF]" . . . . "Forejt, Vojt\u011Bch" . . . . . "11"^^ . "RIV/00216224:14330/09:00043829" . . "Branching-Time Model-Checking of Probabilistic Pushdown Automata" . "model-checking; Markov chains; temporal logics; probabilistic pushdown automata"@en . "Br\u00E1zdil, Tom\u00E1\u0161" . "RIV/00216224:14330/09:00043829!RIV11-MSM-14330___" . . . "1571-0661" . . "3"^^ . "239" . . . "PT - Portugalsk\u00E1 republika" . "Branching-Time Model-Checking of Probabilistic Pushdown Automata" . "Complete classifiaction of computational complexity of the model-checking problem for probabilistic pushdown automata and qualitative fragments of the logics PCTL, PCTL* and PECTL* is reached." . "Branching-Time Model-Checking of Probabilistic Pushdown Automata"@en . "Branching-Time Model-Checking of Probabilistic Pushdown Automata"@en . "3"^^ . "Complete classifiaction of computational complexity of the model-checking problem for probabilistic pushdown automata and qualitative fragments of the logics PCTL, PCTL* and PECTL* is reached."@en . "14330" . . . "P(1M0545), Z(MSM0021622419)" . . "2009" . .