Python implementation of an unknown Bayesian parameter synthesis scheme.

The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.

Bayesian parameter synthesis for parametric Markov chain.

Sampling of parameter function.

A Python toolbox for performing gradient-free optimization

Multiple properties Probabilistic systems Model checker