Supplementary material for Storm Festschrift (#8)

paper_links.html

@@ -12,6 +12,9 @@
 <a href="http://stormchecker.org/getting-started">/getting-started</a>
 	Used in Paper "The Probabilistic Model Checker Storm" (2020)
 
+<a href="http://stormchecker.org/publications/festschrift">/publications/festschrift</a>
+	Used in Paper "Riding the Storm in a Probabilistic Model Checking Landscape" (2024)
+
 <a href="http://stormchecker.org/publications/gspn-semantics-for-dfts.html">/publications/gspn-semantics-for-dfts.html</a>
 	Used in Paper "One Net Fits All; A unifying semantics of Dynamic Fault Trees using GSPNs" (2018)
 

publications/festschrift.md

@@ -0,0 +1,25 @@
+---
+title: Riding the Storm in a Probabilistic Model Checking Landscape
+category_weight: 6
+layout: default
+categories: [Publications]
+---
+
+On this page, you can find supplementary material for the paper "[Riding the Storm in a Probabilistic Model Checking Landscape](https://doi.org/10.1007/978-3-031-75775-4_5)".
+
+For each example, we provide Jupyter notebooks which contain the model(s) and the corresponding analysis.
+All notebooks are available in the [stormpyter](https://github.com/moves-rwth/stormpyter) repository in the directory [festschrift_storm](https://github.com/moves-rwth/stormpyter/tree/master/festschrift_storm).
+We refer to the [README](https://github.com/moves-rwth/stormpyter/blob/master/festschrift_storm/README.md) for instructions on how to run the Juypter notebooks with Docker.
+
+
+## The Random Chili Peppers
+The folder [random_pepper](https://github.com/moves-rwth/stormpyter/tree/master/festschrift_storm/random_pepper) contains the Jupyter notebook and model for the music shuffle example of Section 2.
+
+## Enjoyable Road Biking
+The folder [bikeriding](https://github.com/moves-rwth/stormpyter/tree/master/festschrift_storm/bikeriding) contains the Jupyter notebook and model for the bikeriding example of Section 3.
+
+## Scouting for Coffee Supply
+The folder [coffeescout](https://github.com/moves-rwth/stormpyter/tree/master/festschrift_storm/coffeescout) contains the Jupyter notebook and model for coffee scouting example of Section 4.
+
+## The Elfstedentocht Problem
+The folder [elfstedentocht](https://github.com/moves-rwth/stormpyter/tree/master/festschrift_storm/elfstedentocht) contains the model, analysis script and results for the Elfstedentocht ice skating example of Section 5.