Parameter synthesis plot

The Parameter Synthesis results stored in .storm.regions file can be visualised in Parameter synthesis result visualisation (see to learn how to visualise data). The visualisation shows green, red, and grey regions where the satisfiability of PCTL formula is True, False, and unknown, respectively. The visualisation allows user to change chosen parameters on X and Y axis, which is particularly useful when there are more than two parameters. In that case, slices of parameter space in other dimensions can be chosen.