Branching-Time Model-Checking of Probabilistic Pushdown Automata

BRÁZDIL, Tomáš, Václav BROŽEK a Vojtěch FOREJT. Branching-Time Model-Checking of Probabilistic Pushdown Automata. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. 2007.

Základní údaje

Originální název

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áš (203 Česká republika, garant, domácí), Václav BROŽEK (203 Česká republika, domácí) a Vojtěch FOREJT (203 Česká republika, domácí)

Vydání

Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems, 2007

---

Další údaje

Jazyk

angličtina

Typ výsledku

Prezentace na konferencích

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Portugalsko

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/07:00047829

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

model-checking; Markov chains; temporal logics; probabilistic pushdown automata

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

Complete classifiaction of computational complexity of the model-checking problem for probabilistic pushdown automata and qualitative fragments of the logics PCTL, PCTL* and PECTL* is reached.

Česky

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

---

Návaznosti

MSM0021622419, záměr	Název: Vysoce paralelní a distribuované výpočetní systémy Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1M0545, projekt VaV	Název: Institut Teoretické Informatiky Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky