Shahid Khan 0002, Joost-Pieter Katoen, Marc Bouissou. Explaining Boolean-Logic Driven Markov Processes using GSPNs. In 16th European Dependable Computing Conference, EDCC 2020, Munich, Germany, September 7-10, 2020. pages 119-126, IEEE, 2020. [doi]
Abstract is missing.