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
• 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