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.