Informace o publikaci

Deciding Fast Termination for Probabilistic VASS with Nondeterminism

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: