MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Probabilistic Computation Tree Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

49 documents found, showing 1 through 10. Next 10 →

ATOM

On Probabilistic Computation Tree Logic
by Frank Ciesinski, Marcus Größer — 2002
… On Probabilistic Computation Tree Logic Frank Ciesinski, Marcus Gro"sser -ciesinsk…
Cited by 7 (0 self) – Add To MetaCart

Exogenous Probabilistic Computation Tree Logic
by Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou
…. Both can be found at the ENTCS Macro Home Page. Abstract Exogenous Probabilistic Computation Tree Logic…
Cited by 1 (1 self) – Add To MetaCart

Polytime Model Checking for Timed Probabilistic Computation Tree Logic.
by Danièle Beauquier, Anatol Slissenko, Anatol Slissenko — 1996 — Acta Inf
…Polytime Model Checking for Timed Probabilistic Computation Tree Logic. Dani`ele Beauquier Anatol…
Cited by 4 (1 self) – Add To MetaCart

Don't Know in Probabilistic Systems
by Harald Fecher , Martin Leucker, Verena Wolf — 2006 — IN: MODEL CHECKING SOFTWARE. LNCS
…. For probabilistic systems, Jonsson and Hansson introduced Probabilistic Computation Tree Logic (PCTL) [10…
Cited by 7 (3 self) – Add To MetaCart

Verifying probabilistic system with EpCTL
by Pedro Baltazar, Paulo Mateus
… is considered - exogenous probabilistic computation tree logic (EpCTL). Both a syntactic and a semantic approach…
Add To MetaCart

Symbolic Model Checking for Probabilistic Processes
by Christel Baier , Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Kwiatkowska, Mark Ryan — 1997
… introduce a symbolic model checking procedure for Probabilistic Computation Tree Logic PCTL over labelled…
Cited by 69 (25 self) – Add To MetaCart

Partial Order Reduction For Probabilistic Branching Time
by Christel Baier, Pedro D'Argenio, Marcus Groesser — 2005
… decision processes and branching time properties, such as formulas of probabilistic computation tree logic…
Cited by 3 (2 self) – Add To MetaCart

Controller synthesis for probabilistic systems
by Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski — 2004 — In Proceedings of IFIP TCS’2004
… problem where the specification is provided by means of a formula of probabilistic computation tree logic…
Cited by 2 (0 self) – Add To MetaCart

Comparative branching-time semantics for Markov chains
by Christel Baier, Joost-pieter Katoen, Holger Hermanns, Verena Wolf — 2003 — Information and Computation
… in terms of the temporal logics PCTL (Probabilistic Computation Tree Logic) and CSL (Continuous Stochastic…
Cited by 14 (6 self) – Add To MetaCart

iLTLChecker: A probabilistic model checker for multiple DTMCs
by Youngmin Kwon, Gul Agha — 2005 — In International Conference on the Quantitative Evaluation of Systems (QEST). IEEE Computer Society
… Computation Tree Logic (PCTL) [3] and Continuous Stochastic Logic (CSL) [1] which build a probability space…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB