Informace o publikaci
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances
| Název česky | Kvantitativní analýza pravděpodobnostních zásobníkových automatů: střední hodnoty a rozptyl |
|---|---|
| Autoři | |
| Rok publikování | 2005 |
| Druh | Článek ve sborníku |
| Konference | Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005) |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Informatika |
| Klíčová slova | Probabilistic Pushdown Automata; Infinite Markov Chains; Quantitative Analysis |
| Popis | Pravděpodobnostní zásobníkové automaty jsou přirozeným modelem pro pravděpodobnostní programy obsahující rekurzivní procedury. V článku se soustředíme na výpočet středních hodnot a rozptylu jistých náhodných proměnných definovaných na bězích daného zásbníkového automatu. Pomocí těchto výsledků lze dále vypočítat různé kvantitativní charakteristiky pravděpodobnostních zásobníkových automatů, které nelze vyjádřit v běžných temporálních logikách. |
| Související projekty: |