Skip to content

Link video #15

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Feb 9, 2024
Merged

Link video #15

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 6 additions & 3 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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
Expand Down