Tag
This paper applies Halpern & Pearl's theory of actual causality to fault trees, enabling failure diagnostics by answering why a system failed. It classifies actual causality notions, links them to minimal cut sets, and discusses computational complexity and algorithms.