Runtime Analysis of Probabilistic Programs with Unbounded Recursion

• Autoři: BRÁZDIL Tomáš; KIEFER Stefan; KUČERA Antonín; HUTAŘOVÁ VAŘEKOVÁ Ivana
• Rok publikování: 2011
• Druh: Článek ve sborníku
• Konference: Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: pushdown automata; probabilistic systems; termination
• Popis: V článku se zkoumají pravděpodobnostní systémy s neomezenou hloubkou rekurze. Jako matematický model těchto systémů jsou použity pravděpodobnostní zásobníkové automaty, které přesně odpovídají rekurzivním Markovovským procesům.

Související projekty

• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy
• Formální metody pro analýzu a verifikaci komplexních systémů
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace