All Jupyter notebooks can be directly run in the web browser by clicking on the corresponding Binder badge.
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.
The directory tutorial contains material from the hands-on session of the tutorial.