Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Theory Assignment 1 | New sheet | 17.04.25 | 17.04.25 | No | |||
| Tutorial Sheet 4 (QMC 7) | New sheet | 15.05.25 | 15.05.25 | No | |||
| Deadline Theory Assignment 1 + 2 | Assignment deadline | 08.05.25 | 08.05.25 | No |
Quantitative Model Checking
Holger Hermanns