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.
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áš (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
Originální 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
Změnil Změnil: RNDr. Václav Brožek, Ph.D., učo 99081. Změněno: 22. 4. 2011 14:59.
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, Vysoce paralelní a distribuované výpočetní systémy
1M0545, projekt VaVNázev: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky
VytisknoutZobrazeno: 25. 4. 2024 09:27