Exogenous probabilistic computation tree logic

DOI10.1016/J.ENTCS.2007.07.007zbMATH Open1279.03054DBLPjournals/entcs/BaltazarMNP07OpenAlexW2120106863WikidataQ59196683 ScholiaQ59196683MaRDI QIDQ2870286FDOQ2870286

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

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

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)

Cites Work

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

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

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)