Paper accepted in IEEE Trans. on Industrial Informatics

The paper “Fast Dynamic Fault Tree Analysis by Model Checking Techniques” by Matthias Volk, Sebastian Junges, and Joost-Pieter Katoen has been accepted to IEEE Transactions on Industrial Informatics. The paper presents a novel state-space generation technique for DFTs and combines this with a simple, though very effective, abstraction.