Fault tree analysis (FTA) is a very prominent method to analyze the risks related to safety
and economically critical assets, like power plants, airplanes, data centers and web shops …

Fourty years ago Quine noted that finding a procedure that computes a minimal sum
products for a given propositional formula is very complex, even though propositional …

We propose an approach for explaining Bayesian network classifiers, which is based on
compiling such classifiers into decision functions that have a tractable and symbolic form …

Recent work has shown that some common machine learning classifiers can be compiled
into Boolean circuits that have the same input-output behavior. We present a theory for …

The decomposition of complex systems into manageable parts is an essential principle
when dealing with complex technical systems. However, many safety and reliability …

This paper introduces a modeling formalism that enables the analyst to combine concepts
inherited from fault trees and Markov models in a new way. We call this formalism Boolean …

Sophisticated modeling and analysis methods are being developed in academic and
industrial research labs for reliability engineering and other domains. The evaluation and …

Three commonly used analytical techniques for reliability evaluation are fault trees, binary
decision diagrams (BDD) and Markov chains. Each of these techniques have advantages …

Multistate systems can model many practical systems in a wide range of real applications. A
distinct characteristic of these systems is that the systems and their components may …

Many practical systems are phased-mission systems (PMSs), where the mission consists of
multiple, consecutive, and non-overlapping phases of operation. An accurate reliability …