Exogenous Probabilistic Computation Tree Logic

DOI10.1016/J.ENTCS.2007.07.007zbMath1279.03054DBLPjournals/entcs/BaltazarMNP07OpenAlexW2120106863WikidataQ59196683 ScholiaQ59196683MaRDI QIDQ2870286

Paulo Mateus, Rajagopal Nagarajan, Pedro Baltazar, Nikolaos I. Papanikolaou

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.07.007

zbMATH Keywords

stochastic processKripke structure\textsf{CTL}\textsf{EPPL}\textsf{PCTL}

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Uses Software

• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The temporal logic of branching time
• Probabilistic logic
• A logic for reasoning about time and reliability
• A logic for reasoning about probabilities
• Weakly complete axiomatization of exogenous quantum propositional logic
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
• Reasoning About States of Probabilistic Sequential Programs
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Logics in Artificial Intelligence
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Algorithms in real algebraic geometry

This page was built for publication: Exogenous Probabilistic Computation Tree Logic