Branching-Time Model-Checking of Probabilistic Pushdown Automata

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Ověřování modelu pro logiky větvícího se času nad pravděpodobnostními zásobníkovými automaty
Autoři

BRÁZDIL Tomáš BROŽEK Václav FOREJT Vojtěch

Rok publikování 2007
Druh Článek ve sborníku
Konference Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova model-checking; Markov chains; temporal logics; probabilistic pushdown automata
Popis Byla dosažena úplná klasifikace výpočetní složitosti problému ověření modelu pro pravděpodobnostní zásobníkové automaty a kvalitativní fragmenty logik PCTL, PCTL* a PECTL*.
Související projekty:

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