Commit 6912a57f authored by Hans Vrapi's avatar Hans Vrapi
Browse files

update README file

parent 87bce5ae
......@@ -38,10 +38,10 @@ feasibility_analysis: this subdirectory includes the experiments that perform pa
parameters_space_paritioning: this subdirectory contains all the experiments for pBN partitioning using the parameter lifting algorithm.
## Benchmarks:
We took benchmarks from Bayesian network repository: bnlearn. The (parameteric) benchmarks and the query files for all the experiments are accessible in the corresponding subdirectories.
## Dependencies:
Storm: the backend probabilistic model checker and the parameter synthesis tools for the tasks "sensitivity function computation", "parameter space partitioning", and "feasibility analysis: gradient-descent"
Prophesy: the backend parameter synthesis tool for feasibility analysis: QCQP and PSO.
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