Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.