J 2009

Branching-Time Model-Checking of Probabilistic Pushdown Automata

BRÁZDIL, Tomáš, Václav BROŽEK a Vojtěch FOREJT

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

Vydání

Electronic Notes in Theoretical Computer Science, Elsevier, 2009, 1571-0661

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Portugalsko

Utajení

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

Odkazy

Kód RIV

RIV/00216224:14330/09:00043829

Organizační jednotka

Fakulta informatiky

UT WoS

000325386500011

Klíčová slova anglicky

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

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 29. 4. 2010 16:40, RNDr. Václav Brožek, Ph.D.

Anotace

ORIG CZ

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