xhajnal / DiPS

Multiple properties Probabilistic systems Model checker
BSD 3-Clause "New" or "Revised" License
4 stars 1 forks source link

add more visualisations #11

Open xhajnal opened 5 years ago

xhajnal commented 5 years ago

Functions

Refinement

Sampling

Quantitative Sampling

Metropolis-Hastings

tatjanapetrov commented 5 years ago

here i would add the visualisation for multiparametric case, as written in the e-mail on 9.2.19.

xhajnal commented 5 years ago

here i would add the visualisation for multiparametric case, as written in the e-mail on 9.2.19.

added in 3329662de9428013dc66531736a76fe9d8579af6