Efficient Analysis of Probabilistic Programs with an Unbounded Counter

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	Institut Teoretické Informatiky Formální metody pro analýzu a verifikaci komplexních systémů