Other formats:
BibTeX
LaTeX
RIS
@inproceedings{727767, author = {Brázdil, Tomáš and Brožek, Václav and Forejt, Vojtěch}, address = {Lisboa}, booktitle = {Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems}, keywords = {model-checking; Markov chains; temporal logics; probabilistic pushdown automata}, language = {eng}, location = {Lisboa}, pages = {24-33}, publisher = {Univerisity of Lisboa}, title = {Branching-Time Model-Checking of Probabilistic Pushdown Automata}, year = {2007} }
TY - JOUR ID - 727767 AU - Brázdil, Tomáš - Brožek, Václav - Forejt, Vojtěch PY - 2007 TI - Branching-Time Model-Checking of Probabilistic Pushdown Automata PB - Univerisity of Lisboa CY - Lisboa KW - model-checking KW - Markov chains KW - temporal logics KW - probabilistic pushdown automata N2 - 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. ER -
BRÁZDIL, Tomáš, Václav BROŽEK and Vojtěch FOREJT. Branching-Time Model-Checking of Probabilistic Pushdown Automata. In \textit{Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems}. Lisboa: Univerisity of Lisboa, 2007, p.~24-33.
|