Informace o publikaci

Efficient Analysis of Probabilistic Programs with an Unbounded Counter

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: