Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Kvantitativní analýza pravděpodobnostních zásobníkových automatů: střední hodnoty a rozptyl
Autoři	ESPARZA Javier KUČERA Antonín MAYR Richard
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	Fakulta informatiky
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:	Verifikace nekonečně stavových systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy