Probabilistic Computation Tree Logic (PCTL) is an extension of computation tree logic (CTL) which allows for probabilistic quantification ofâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2016

2016

Complex probabilistic temporal behaviours need to be guaranteed in robotics and various other control domains, as well as in theâ€¦Â (More)

Is this relevant?

Highly Cited

2009

Highly Cited

2009

- Tingting Han, Joost-Pieter Katoen, Berteun Damman
- IEEE Transactions on Software Engineering
- 2009

Providing evidence for the refutation of a property is an essential, if not the most important, feature of model checking. Thisâ€¦Â (More)

Is this relevant?

Highly Cited

2009

Highly Cited

2009

- Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
- 2009 Sixth International Conference on theâ€¦
- 2009

The Markov Reward Model Checker (MRMC) is a software toolfor verifying properties over probabilistic models. It supports PCTL andâ€¦Â (More)

Is this relevant?

2008

2008

- TomÃ¡s BrÃ¡zdil, Vojtech Forejt, Jan KretÃnskÃ½, AntonÃn Kucera
- 2008 23rd Annual IEEE Symposium on Logic inâ€¦
- 2008

We study the satisfiability problem for qualitative PCTL (probabilistic computation tree logic), which is obtained from "ordinaryâ€¦Â (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- Koushik Sen, Mahesh Viswanathan, Gul A. Agha
- TACAS
- 2006

We investigate the problem of model checking Interval-valued Discrete-time Markov Chains (IDTMC). IDTMCs are discrete-time finiteâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Marta Z. Kwiatkowska, Gethin Norman, David Parker
- Computer Performance Evaluation / TOOLS
- 2002

In this paper we describe PRISM, a tool being developed at the University of Birmingham for the analysis of probabilistic systemsâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Marta Z. Kwiatkowska, Gethin Norman, David Parker
- International Journal on Software Tools forâ€¦
- 2002

In this paper we present efficient symbolic techniques for probabilistic model checking. These have been implemented in PRISM, aâ€¦Â (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- Christel Baier, Marta Z. Kwiatkowska
- Distributed Computing
- 1998

We consider concurrent probabilistic systems, based on probabilistic automata of Segala & Lynch [55], which allow nonâ€¦Â (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan
- ICALP
- 1997

We introduce a symbolic model checking procedure for Probabilistic Computation Tree Logic PCTL over labelled Markov chains asâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

The temporal logics pCTL and pCTL* have been proposed as tools for the formal speci cation and veri cation of probabilisticâ€¦Â (More)

Is this relevant?