Deciding Fast Termination for Probabilistic VASS with Nondeterminism

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní 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:

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