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…