Paper at MARS2020

The paper entitled “Various Ways to Quantify BDMPs” by Marc Bouissou, Joost-Pieter Katoen, Shahid Khan and Pavel Krcal has been accepted as invited contribution to the MARS2020 workshop. The paper compares various analysis techniques to determine the reliability of Boolean-Driven Markov Processes. It does so by analysing an emergency power supply of power plants.