Deciding Fast Termination for Probabilistic VASS with Nondeterminism

Varování

Publikace nespadá pod Lékařskou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BRÁZDIL Tomáš CHATTERJEE Krishnendu KUČERA Antonín NOVOTNÝ Petr VELAN Dominik
Rok publikování	2019
Druh	Článek ve sborníku
Konference	Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	https://doi.org/10.1007/978-3-030-31784-3_27
Doi	http://dx.doi.org/10.1007/978-3-030-31784-3_27
Klíčová slova	angelic and demonic nondeterminism; termination time; probabilistic VASS
Popis	V článku je studována problematika asymptotického odhadu očekávané doby terminace daného VASS systému obohaceného o stochastické stavy.
Související projekty:	Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy Verifikace a analýza pravděpodobnostních programů Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII. Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 19