"2008-11-22+01:00"^^ . "978-3-540-89438-4" . . "Springer-Verlag" . "Doha, Qatar" . "Discounted Properties of Probabilistic Pushdown Automata"@en . . "Bro\u017Eek, V\u00E1clav" . "13"^^ . . "14330" . . "Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008" . "RIV/00216224:14330/08:00026776" . "Ku\u010Dera, Anton\u00EDn" . "Hole\u010Dek, Jan" . . . . . . . "Discounted Properties of Probabilistic Pushdown Automata"@en . "We show that several basic discounted properties of probabilistic pushdown automata related both to terminating and non-terminating runs can be efficiently approximated up to an arbitrarily small given precision."@en . "Berlin Heidelberg New York" . . . "Discounted Properties of Probabilistic Pushdown Automata" . "We show that several basic discounted properties of probabilistic pushdown automata related both to terminating and non-terminating runs can be efficiently approximated up to an arbitrarily small given precision." . . . . "4"^^ . . "363755" . "000262502600017" . . . "RIV/00216224:14330/08:00026776!RIV10-MSM-14330___" . "Markov chains; discounting; pushdown automata"@en . "P(1M0545), Z(MSM0021622419)" . . . "Br\u00E1zdil, Tom\u00E1\u0161" . "Discounted Properties of Probabilistic Pushdown Automata" . "4"^^ . "[DB4D2BF3B022]" . .