BRÁZDIL, Tomáš, Václav BROŽEK and 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. p. 24-33. 2007.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Branching-Time Model-Checking of Probabilistic Pushdown Automata
Name in Czech Ověřování modelu pro logiky větvícího se času nad pravděpodobnostními zásobníkovými automaty
Authors BRÁZDIL, Tomáš, Václav BROŽEK and Vojtěch FOREJT.
Edition Lisboa, Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems, p. 24-33, 10 pp. 2007.
Publisher Univerisity of Lisboa
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Portugal
Confidentiality degree is not subject to a state or trade secret
Organization unit Faculty of Informatics
UT WoS 000325386500011
Keywords in English model-checking; Markov chains; temporal logics; probabilistic pushdown automata
Tags Markov chains, Model-Checking, Probabilistic Pushdown Automata, temporal logics
Tags International impact, Reviewed
Changed by Changed by: Ing. Dana Komárková, učo 1475. Changed: 27/6/2008 09:30.
Abstract
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.
Abstract (in Czech)
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*.
Links
MSM0021622419, plan (intention)Name: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
1M0545, research and development projectName: Institut Teoretické Informatiky
Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science
PrintDisplayed: 28/3/2024 19:52