Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
PFL: a Probabilistic Logic for Fault Trees
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, E. Moritz Hahn +1
Safety-critical infrastructures must operate in a safe and reliable way. Fault tree analysis is a widespread method used for risk assessment of these systems: fault trees (FTs) are…
cs.LO2025
Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
Reza Soltani, Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg +1
This paper introduces AFDL, a logic-based framework for reasoning about safety, security, and defense interactions in Attack-Fault-Defense Trees, which is a model that captures all…