activity
20212025
most citedBFL: a Logic to Reason about Fault Trees

11 citations · 25 across the 11 of their papers we have counts for

collaborators
Showing 2025 · cs.LOShow all

1 paper · 2 filters

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…