Commit eedb5628 authored by Hans Vrapi's avatar Hans Vrapi
Browse files

add changes to readme

parent 86732f74
......@@ -8,7 +8,7 @@ This repository facilitates performing tasks related to inference in parametric
- Parameter Space Partitioning
- Sensitivity Analysis
by means of probabilistic model checking (PMC) 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 task.
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
......@@ -16,7 +16,7 @@ by means of probabilistic model checking (PMC) techniques. For this purpose, we
- [Prophesy]
This has been developed at RWTH Aachen University.
This work has been done at RWTH Aachen University.
[Storm]: <https://www.stormchecker.org/>
[Prophesy]: <https://moves-rwth.github.io/prophesy/index.html>
......
storm-bn-refactoring @ e48e2982
Subproject commit e48e29828640b208f54169df39768ac97e38d010
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment