Další formáty:
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 a 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, s.~24-33.
|
