901 followers
RT @martin_barrere: Glad to announce that our paper "Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT" (ht…
RT @martin_barrere: Glad to announce that our paper "Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT" (ht…
Glad to announce that our paper "Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT" (https://t.co/sBQ83FK3Np) has been distinguished as a forward-thinking paper at @dsn2020 - FA Sessions (https://t.co/NREoXn0Zzx). #Secur…