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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Martín Barrère; Chris Hankin

Journal title: 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S)

Journal number: 1

Journal publisher: IEEE

Published year: 2020

DOI identifier: 10.1109/dsn-s50200.2020.00029