Skip to content

Latest commit

 

History

History
38 lines (27 loc) · 1.96 KB

tutorials.md

File metadata and controls

38 lines (27 loc) · 1.96 KB
title navigation_weight layout
Tutorials
4
default

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{:target="_blank"} at DisCoTec 2020{:target="_blank"}.

Part 1: "What is Storm?"

<iframe src="https://www.youtube-nocookie.com/embed/TTfSZGiCQ3I" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Part 2: "Introduction to Storm"

Binder{:target="_blank"} to interactively follow along the presentation.

<iframe src="https://www.youtube-nocookie.com/embed/rCgoqV5hesQ" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Part 3: "Advanced Features with Stormpy"

Binder{:target="_blank"} to interactively follow along the presentation.

<iframe src="https://www.youtube-nocookie.com/embed/WR72wrvtta0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>