Skip to content

Latest commit

 

History

History

tutorial_uai

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
examples
examples
 
 
Dockerfile
Dockerfile
 
 
README.md
README.md
 
 
high.sched
high.sched
 
 
plain.sched
plain.sched
 
 
rise.css
rise.css
 
 
sched.json
sched.json
 
 
tutorial.ipynb
tutorial.ipynb
 
 

README.md

Storm tutorial at UAI

The directory contains Jupyter notebooks for the Hands-on Session during the Probabilistic Verification Tutorial at UAI 2022 by Sebastian Junges & Joost-Pieter Katoen.

Following the presentation

The presentation is interactive. All commands can be executed in the presentation and will be executed in the Docker container.

  • Navigate forwards with spacebar and backwards with shift+spacebar.
  • All interactive commands can be executed with shift+enter.
  • Switch between presentation and the notebook with alt+r.

Installation steps

  1. Install Docker for your OS according to these instructions.

  2. 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.)

  1. Open the Jupyter website which is indicated in the command line and starts with 127.0.0.1:8080/?token=...

  2. On the website, open the notebook tutorial.ipynb. The presentation should start automatically.

Manual build

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.