Skip to search formSkip to main contentSkip to account menu

Probabilistic CTL

Known as: PCTL 
Probabilistic Computation Tree Logic (PCTL) is an extension of computation tree logic (CTL) which allows for probabilistic quantification of… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The ability to reason about and respond to their own emotional states can enhance the believability of Non-Player Characters… 
2013
2013
Software product line engineering (SPLE) enables systematic reuse in development of a family of related software systems by… 
2012
2012
In this paper we investigate the generation of counterexamples for discrete-time Markov chains (DTMCs) and PCTL properties… 
2011
2011
Model checking, a formal automatic verification method, has been widely used in multi-agent systems to verify specifications that… 
2010
2010
A paraconsistent computation tree logic, PCTL, is obtained by adding paraconsistent negation to the standard computation tree… 
1997
1997
  • M. Huth
  • 1997
  • Corpus ID: 326904
1997
1997
The increasing number of applications of high power converters to power systems, energy systems and motor drives can be… 
1995
1995
Risk assessment techniques are being used to support the engineering of complex, safety-critical systems. They help to identify…