Storm tutorial at UAI 2022

Storm has been featured in a tutorial on probabilistic verification at UAI 2022.

The tutorial slides can be found online. Material for the hands-on session is available on github.

Storm video tutorial at DisCoTec 2020

We presented Storm in a tutorial at DisCoTec 2020.

Part 1: “What is Storm?”

Part 2: “Introduction to Storm”

to interactively follow along the presentation.

Part 3: “Advanced Features with Stormpy”

to interactively follow along the presentation.