2004 | OriginalPaper | Buchkapitel
On Probabilistic Computation Tree Logic
verfasst von : Frank Ciesinski, Marcus Größer
Erschienen in: Validation of Stochastic Systems
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this survey we motivate, define 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 and algorithms are presented.