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. Lisboa: Univerisity of Lisboa, 2007, s. 24-33.

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áš, Václav BROŽEK a Vojtěch FOREJT

Vydání

Lisboa, Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems, od s. 24-33, 10 s. 2007

Nakladatel

Univerisity of Lisboa

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Portugalsko

Utajení

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

Organizační jednotka

Fakulta informatiky

UT WoS

000325386500011

Klíčová slova anglicky

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

Štítky

Markov chains, Model-Checking, Probabilistic Pushdown Automata, temporal logics

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