In diesem Repo sind die Dateien für mein Seminar beim i11 an der RWTH Aachen zu der Logik PCTL.
| Meilenstein | Datum | Status |
|---|---|---|
| Struktur und Bibliographie | 5.5. | ✅ |
| Erste Ausarbeitung | 9.6. | ✅ |
| Erste Folien | 30.6. | ✅ |
| Probevorträge | 1.7.-5.7 | ✅ |
| Präsentationen | 15.7.-19.7. | ✅ |
| Finale Ausarbeitung | 31.7. | ✅ |
1.0 :D