Cover Image

PFL: a Probabilistic Logic for Fault Trees

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nicoletti, Stefano M., Lopuhaä-Zwakenberg, Milan, Hahn, E. Moritz, Stoelinga, Mariëlle
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Querying Fault and Attack Trees: Property Specification on a Water Network
by: Nicoletti, Stefano M., et al.
Published: (2024)

ATM: a Logic for Quantitative Security Properties on Attack Trees
by: Nicoletti, Stefano M., et al.
Published: (2023)

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
by: Soltani, Reza, et al.
Published: (2025)

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic
by: Nicoletti, Stefano M., et al.
Published: (2024)

BayesL: a Logical Framework for the Verification of Bayesian Networks
by: Nicoletti, Stefano M., et al.
Published: (2025)

WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs
by: Nicoletti, Stefano M., et al.
Published: (2024)

Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees
by: Soltani, Reza, et al.
Published: (2025)

BFL: a Logic to Reason about Fault Trees
by: Nicoletti, Stefano M., et al.
Published: (2022)

Fuzzy Fault Trees Formalized
by: Dang, Thi Kim Nhung, et al.
Published: (2024)

Fuzzy Fault Trees: the Fast and the Formal
by: Dang, Thi Kim Nhung, et al.
Published: (2025)

CTMCs with Imprecisely Timed Observations
by: Badings, Thom, et al.
Published: (2024)

Fuzzy quantitative attack tree analysis
by: Dang, Thi Kim Nhung, et al.
Published: (2024)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
by: Lichter, Moritz
Published: (2022)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
by: Dhonthi, Akshay, et al.
Published: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
by: Ibeling, Duligur, et al.
Published: (2024)

Probabilistic Abduction in a Fuzzy Logic Framework
by: Flaminio, Tommaso, et al.
Published: (2026)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
by: Leneutre, Jean, et al.
Published: (2024)

The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable
by: Chodil, Miroslav, et al.
Published: (2025)

Towards a Proof System for Probabilistic Dynamic Logic
by: Johnsen, Einar Broch, et al.
Published: (2024)

Attack-Defense Trees with Offensive and Defensive Attributes (with Appendix)
by: Copae, Danut-Valentin, et al.
Published: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

A Nominal Approach to Probabilistic Separation Logic
by: Li, John M., et al.
Published: (2024)

Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
by: Diéguez, Martín, et al.
Published: (2026)

Agent-Knowledge Logic for Alternative Epistemic Logic
by: Nishimura, Yuki
Published: (2024)

Probabilistic Strategy Logic with Degrees of Observability
by: Mu, Chunyan, et al.
Published: (2024)

Fault Tree Synthesis from Knowledge Graphs
by: Ntagengerwa, Manzi Aimé, et al.
Published: (2025)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
by: Acclavio, Matteo, et al.
Published: (2026)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
by: Lyon, Tim S.
Published: (2023)

Unifying Asynchronous Logics for Hyperproperties
by: Bombardelli, Alberto, et al.
Published: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
by: Marin, Sonia, et al.
Published: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Skolemization In Intermediate Logics
by: Baaz, Matthias, et al.
Published: (2025)

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

Integrating Belief Domains into Probabilistic Logic Programs
by: Azzolini, Damiano, et al.
Published: (2025)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Logical Characterizations of GNNs with Mean Aggregation
by: Schönherr, Moritz, et al.
Published: (2025)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

Decidability of Quantum Modal Logic
by: Tokuo, Kenji
Published: (2026)