Skip to content

Probability sampling

Matej Troják edited this page Apr 28, 2020 · 2 revisions

Probability Sampling is a tool dedicated for the sampling of computed probability function of parameters as a result of Parameter Synthesis. A step by step Galaxy tour showing how to use the tool can be found here. The tool is available here.

Input specification

  • Storm results file: Selected PCTL Parameter Synthesis result in .storm.sample format.

  • Intervals: An interval of allowed values have to be specified for each unknown parameter in the function, together forming parameter space to be sampled. Moreover, for each interval, it has to be specified how many samples should be taken.

Output specification

The result of this tool is an html file containing a graphical output of the sampling. The output is similar to Parameter synthesis plot, but the legend of the visualisation is different – there is a scale assigning a colour to probability values.


Command line arguments

usage: run.py [-h] --storm_file STORM_FILE --output OUTPUT --params PARAMS

Region sampling

required arguments:
  --storm_file STORM_FILE
  --output OUTPUT
  --params PARAMS