| lectures | |
| Diskrete Wahrscheinlichkeitstheorie Grundlagen der (diskreten) Wahrscheinlichkeitstheorie, elementare Statistik, probabilistische Algorithmen und ihre Analyse |
more... |
| Model Checking | more... |
| Petri nets | more... |
| seminars | |
| Master-Seminar: Never-ending Games Infinite games in verification |
more... |
| Master-Seminar: Software Verification | more... |
| training courses | |
| Bachelor-Praktikum: Lego Mindstorms | more... |
Information about older courses can be found on our old homepage.
