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, 10 s.
Další formáty:   BibTeX LaTeX RIS
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
Originální 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
Změnil Změnila: Ing. Dana Komárková, učo 1475. Změněno: 27. 6. 2008 09:30.
Anotace
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.
Anotace č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ěrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
1M0545, projekt VaVNázev: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumná centra (Národní program výzkumu)
VytisknoutZobrazeno: 3. 7. 2020 23:41