Stormpyter

Jupyter notebooks for Storm(py)

All Jupyter notebooks can be directly run in the web browser by clicking on the corresponding Binder badge.

Storm tutorial at DisCoTec 2020

The directory tutorial_discotec2020 contains two presentations of the Storm tutorial:

• for an interactive presentation about the usage and features of Storm.
• for an interactive presentation about advanced features with stormpy, the Python bindings for Storm.

Probabilistic Verification tutorial at UAI 2022

The directory tutorial_uai contains material from the hands-on session of the tutorial.

Storm tutorial for the Orchard game

The directory tutorial_orchard contains material for the Storm tutorial on the Orchard game.