Frank Ciesinski, Marcus Größer  Home/Search
Context Related
| web.informatik.unibonn.de/I/...CG02.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: web.informatik.un...publikationen (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this survey we motivate, de ne and explain model checking of probabilistic deterministic and nondeterministic systems using the probabilistic computation tree logics PCTL and PCTL # . Juxtapositions to non-deterministic computation tree logic are made, algorithms are presented. (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
F. Ciesinski and F. Grossner. On probabilistic computation tree logic. This proceedings, 2003. http://citeseer.ist.psu.edu/ciesinski03probabilistic.html More
@misc{ ciesinski03probabilistic,
author = "F. Ciesinski and F. Gr",
title = "On probabilistic computation tree logic",
text = "F. Ciesinski and F. Grossner. On probabilistic computation tree logic.
This proceedings, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/ciesinski03probabilistic.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
828 Model Checking - Clarke, Grumberg et al. - 1999
725 Temporal and modal logic (context) - Emerson - 1990
666 Theoretical Computer Science (context) - Dill, of et al. - 1994
434 An automata-theoretic approach to automatic program veri cat.. (context) - Vardi, Wolper - 1986
297 Symbolic Model Checking (context) - McMillan - 1993
291 Markov Decision ProcessesDiscrete Stochastic Dynamic Progra.. (context) - Puterman - 1994
276 Finite Markov Chains (context) - Kemeny, Snell - 1960
247 Bisimulation through probabilistic testing (context) - Larsen, Skou - 1991
174 Probabilistic simulations for probabilistic processes - Segala, Lynch - 1994
174 Probabilistic simulations for probabilistic processes - Segala, Lynch - 1995
136 Time and Probability in Formal Design of Distributed Systems (context) - Hansson - 1994
136 Time and probability in formal design of distributed systems (context) - Hansson - 1994
129 Model checking of probabilistic and nondeterministic systems - Bianco, De Alfaro - 1995
94 Model checking for a probabilistic branching time logic with.. - Kwiatkowska - 1998
[Article contains additional citations not shown here]
Documents on the same site (http://web.informatik.uni-bonn.de/I/baier/publikationen.html): More
Quantitative Analysis of Distributed Randomized Protocols - Baier, Ciesinski, Groesser (2005) (Correct)
Symbolic Reasoning with Weighted and Normalized Decision.. - Ossowski, Baier (2005) (Correct)
Synthesis of Reo Circuits for Implementation of.. - Arbab, Baier, de.. (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC