45 citations · 120 across the 19 of their papers we have counts for
1 paper · 1 filter
Martín Barrère, Chris Hankin
In this paper, we present a novel MaxSAT-based technique to compute Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We model the MPMCS problem as a Weighted Partial M…