Další formáty:
BibTeX
LaTeX
RIS
@proceedings{935177, author = {Brázdil, Tomáš and Brožek, Václav and Forejt, Vojtěch}, booktitle = {Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems}, keywords = {model-checking; Markov chains; temporal logics; probabilistic pushdown automata}, language = {eng}, note = {Opravená verze téže publikace: místo "D" typ "k" kvůli chybějícímu ISBN.}, title = {Branching-Time Model-Checking of Probabilistic Pushdown Automata}, year = {2007} }
TY - CONF ID - 935177 AU - Brázdil, Tomáš - Brožek, Václav - Forejt, Vojtěch PY - 2007 TI - Branching-Time Model-Checking of Probabilistic Pushdown Automata N1 - Opravená verze téže publikace: místo "D" typ "k" kvůli chybějícímu ISBN. 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}. 2007.
|