From 866f92d82780c16e7648496227c3da813f00ed20 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Tue, 12 Nov 2024 11:29:09 +0100 Subject: [PATCH] Supplementary material for Storm Festschrift --- paper_links.html | 3 +++ publications/festschrift.md | 25 +++++++++++++++++++++++++ 2 files changed, 28 insertions(+) create mode 100644 publications/festschrift.md diff --git a/paper_links.html b/paper_links.html index 6932a75..782cb0f 100644 --- a/paper_links.html +++ b/paper_links.html @@ -12,6 +12,9 @@ /getting-started Used in Paper "The Probabilistic Model Checker Storm" (2020) +/publications/festschrift + Used in Paper "Riding the Storm in a Probabilistic Model Checking Landscape" (2024) + /publications/gspn-semantics-for-dfts.html Used in Paper "One Net Fits All; A unifying semantics of Dynamic Fault Trees using GSPNs" (2018) diff --git a/publications/festschrift.md b/publications/festschrift.md new file mode 100644 index 0000000..8bf772e --- /dev/null +++ b/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.