Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT

Open in new window