Efficient Analysis of Probabilistic Programs with an Unbounded Counter

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

BRÁZDIL Tomáš KIEFER Stefan KUČERA Antonín

Rok publikování 2011
Druh Článek ve sborníku
Konference Computer Aided Verification, 23rd International Conference, CAV 2011
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1007/978-3-642-22110-1
Obor Informatika
Klíčová slova one-counter machines; probabilistic systems; model-checking
Popis V článku je dokázáno, že kvantitativní analýzu nekonečně-stavových programů popsatelných automatem s jedním čítačem lze provádět algoritmicky a efektivně. Zejména je možné aproximovat střední čas ukončení těchto programů.
Související projekty:

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