Login / Signup

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

Martín BarrèreChris 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