Live briefing
Everything about Probabilistic CTL
Probabilistic Computation Tree Logic (PCTL) is an extension of computation tree logic (CTL) that allows for probabilistic quantification of described properties. It has been defined in the paper by Hansson and Jonsson. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: Probabilistic CTLA 5-minute orientation
- Read the landmark paper: Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative ExamplesCited 2 times
- Go sideways: Normal-inverse-Wishart distributionA closely related topic
- Go sideways: Stochastic gameA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
đź“š Books worth reading
Open Library didn't respond; try again in a moment.
đź”— Related topics
- Normal-inverse-Wishart distribution In probability theory and statistics, the normal-inverse-Wishart distribution (or Gaussian-inverse-Wishart distribution) is a multivariate four-parameter…
- Stochastic game In game theory, a stochastic game (or Markov game) is a repeated game with probabilistic transitions played by one or more players. The game is played…
- Quartic interaction In quantum field theory, a quartic interaction or φ4 theory is a type of self-interaction of a scalar field. Other types of quartic interactions may be…
- Supermultiplet In theoretical physics, a supermultiplet is a representation of a supersymmetry algebra, possibly with extended supersymmetry. Then a superfield is a field…
- Non-topological soliton In quantum field theory, a non-topological soliton (NTS) is a soliton field configuration possessing, contrary to a topological one, a conserved Noether…
- N = 1 supersymmetric Yang–Mills theory In theoretical physics, more specifically in quantum field theory and supersymmetry, supersymmetric Yang–Mills, also known as super Yang–Mills and abbreviated…
- Asymmetric Laplace distribution In probability theory and statistics, the asymmetric Laplace distribution (ALD) is a continuous probability distribution which is a generalization of the…
- Residual time In the theory of renewal processes, a part of the mathematical theory of probability, the residual time or the forward recurrence time is the time between…