Branching-Time Model-Checking of Probabilistic Pushdown Automata

Varování

Publikace nespadá pod Ekonomicko-správní 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 Další prezentace na konferencích
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
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.