Storm-bn
This repository facilitates performing tasks related to inference in parametric Bayesian networks (pBNs) such as:
- Feasibility Analysis
- Parameter Space Partitioning
- Sensitivity Analysis
by means of probabilistic model checking techniques. For this purpose, we have implemented the tool 'storm-bn-refactoring' that transforms a (parametric) Bayesian network (pBN) to their corresponding (parametric) Markov Chain (pMC). The generated pMC is fed into the probabilsitic model checker Storm to perform the computations for each of the mentioned tasks.
Requirements
This work has been done at RWTH Aachen University.