The directory contains Jupyter notebooks for the Hands-on Session during the Probabilistic Verification Tutorial at UAI 2022 by Sebastian Junges & Joost-Pieter Katoen.
The presentation is interactive. All commands can be executed in the presentation and will be executed in the Docker container.
- Navigate forwards with
spacebarand backwards withshift+spacebar. - All interactive commands can be executed with
shift+enter. - Switch between presentation and the notebook with
alt+r.
-
Install Docker for your OS according to these instructions.
-
Download and start the Docker container from the command line:
docker run -it -p 8080:8080 --name stormpyter sjunges/stormpyter:uai22
(Please note that the download with >1GB might take a while.)
-
Open the Jupyter website which is indicated in the command line and starts with
127.0.0.1:8080/?token=... -
On the website, open the notebook
tutorial.ipynb. The presentation should start automatically.
Instead of downloading the Docker container, you can also build it manually with:
docker build -t sjunges/stormpyter:uai22 -f Dockerfile .
and afterwards continue with step 3.