Branching-Time Model-Checking of Probabilistic Pushdown Automata

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