Login / Signup
Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT.
Martín Barrère
Chris Hankin
Published in:
DSN (Supplements) (2020)
Keyphrases
</>
fault tree analysis
minimal subsets
fault tree
fuzzy numbers
upper bound
probability distribution
real time
mathematical model
unsatisfiable cores
computer aided