Branching-Time Model-Checking of Probabilistic Pushdown Automata

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy