From 5874bb96202129145363b78a32777fcef3fae548 Mon Sep 17 00:00:00 2001 From: Faried Abu Zaid Date: Fri, 9 Feb 2024 14:44:53 +0100 Subject: [PATCH] Link video --- README.md | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 0b542a9..42b1e1b 100644 --- a/README.md +++ b/README.md @@ -1,9 +1,12 @@ -# TransferLab Training: Probabilistic Model Checking with Storm +# TransferLab Training: Verifying Systems in the Face of Uncertainty -Welcome to the TransferLab training: Probabilistic Model Checking with Storm. -The content was created by two major researchers in the field, Prof. [Joost-Pieter Katoen](https://moves.rwth-aachen.de/people/katoen/) and Assoc. Prof. [Sebastian Junges](https://sjunges.github.io). The course contains a mix of lectures and hands-on exercises covering +Welcome to the TransferLab training: Probabilistic Verifying Systems in the Face of Uncertainty. +The content was created and presented by two major researchers in the field, Prof. [Joost-Pieter Katoen](https://moves.rwth-aachen.de/people/katoen/) and Assoc. Prof. [Sebastian Junges](https://sjunges.github.io). The course contains a mix of lectures and hands-on exercises covering the fundamentals of probabilistic model checking as well as practical applications using the model checker Storm. +## Course video +The event took place on 1st December 2023. The recorded Lecture is available on our [TranferLab website[(https://transferlab.ai/trainings/verifying-systems-in-the-face-of-uncertainty/) + ## Getting started If you want to execute the notebooks, we recommend to use docker. You can