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

Martín Barrère Chris Hankin

Published in: CoRR (2020)

Keyphrases

fault tree analysis
minimal subsets
fault tree
fuzzy numbers
upper bound
unsatisfiable cores
machine learning
probability distribution
artificial intelligence
decision making
feature extraction