search

moves-rwth / stormpy

Python Bindings for the Probabilistic Model Checker Storm
https://moves-rwth.github.io/stormpy/
GNU General Public License v3.0
29 stars 16 forks source link

Example for sampling from a prism-file DTMC without building the underlying model #15

Closed sjunges closed 2 years ago

sjunges commented 4 years ago

As pointed out in https://github.com/moves-rwth/storm/issues/66, it would be nice to have an example how to sample paths from a model without building the model first.

There is some functionality here: https://github.com/moves-rwth/stormpy/blob/master/tests/storage/test_state_generation.py

But a simple example would help.

In a second step, it would be interesting to consider an interface that also allows this for MDPs.

sjunges commented 2 years ago

There is now documentation https://github.com/moves-rwth/stormpy/blob/master/doc/source/doc/simulator.ipynb