Computing the Top Event Uncertainty with Binary Decision Diagrams

This paper is discussing uncertainty quantification for the PSA model represented by BDD. First, it is discussed about uncertainty quantification of PSA model with BDD. Second, it is investigated about the difference in the quantified top event uncertainty between common partial uncertainty quantification approach and BDD approach.