"Kiefer, Stefan" . "2011-01-01+01:00"^^ . "pushdown automata; probabilistic systems; termination"@en . . "Runtime Analysis of Probabilistic Programs with Unbounded Recursion"@en . . . . "4"^^ . . "3"^^ . . . "14330" . "We study the runtime in probabilistic programs with unbounded recursion. As underlying formal model for such programs we use probabilistic pushdown automata (pPDA) which exactly correspond to recursive Markov chains." . "Zurich, Switzerland" . . "RIV/00216224:14330/11:00049980!RIV12-GA0-14330___" . . . . . . "We study the runtime in probabilistic programs with unbounded recursion. As underlying formal model for such programs we use probabilistic pushdown automata (pPDA) which exactly correspond to recursive Markov chains."@en . "Berlin" . "P(1M0545), P(GAP202/10/1469), Z(MSM0021622419)" . "Ku\u010Dera, Anton\u00EDn" . . "Springer-Verlag" . "Huta\u0159ov\u00E1 Va\u0159ekov\u00E1, Ivana" . "Runtime Analysis of Probabilistic Programs with Unbounded Recursion" . "13"^^ . . . "[5FA1F01EC70D]" . . . . . "978-3-642-22011-1" . "RIV/00216224:14330/11:00049980" . "Br\u00E1zdil, Tom\u00E1\u0161" . "Runtime Analysis of Probabilistic Programs with Unbounded Recursion"@en . "Runtime Analysis of Probabilistic Programs with Unbounded Recursion" . . "227923" . . "Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011)" .