Exogenous probabilistic computation tree logic

DOI10.1016/J.ENTCS.2007.07.007MaRDI QIDQ2870286zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos 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

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

Recommendations

• Temporalization of Probabilistic Propositional Logic
• Validation of Stochastic Systems
• Automata, Languages and Programming
• QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
• Probabilistic annotations for protocol models. Dedicated to Joshua Guttman

Cites work

• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1735924 (Why is no real title available?)
• scientific article; zbMATH DE number 1948170 (Why is no real title available?)
• scientific article; zbMATH DE number 1361518 (Why is no real title available?)
• scientific article; zbMATH DE number 2087806 (Why is no real title available?)
• scientific article; zbMATH DE number 7280017 (Why is no real title available?)
• A logic for reasoning about probabilities
• A logic for reasoning about time and reliability
• Algorithms in real algebraic geometry
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
• Exogeneous semantics approach to enriching logics
• Logics in Artificial Intelligence
• Probabilistic logic
• Reasoning About States of Probabilistic Sequential Programs
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The temporal logic of branching time
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
• Weakly complete axiomatization of exogenous quantum propositional logic

Cited in

(3)

• A quantitative doxastic logic for probabilistic processes and applications to information-hiding
• Exogeneous semantics approach to enriching logics
• Efficient probabilistic reasoning in BNs with mutual exclusion and context-specific independence

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: Exogenous probabilistic computation tree logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870286)