Doktorandenseminar "Advances in Probabilistic Model Checking"
Prof. Dr. Christel Baier
SWS: (0/2/0), in English
Description
This seminar is mainly intended for students enrolled in a doctoral program in theoretical computer science.
Prerequisites
The seminar addresses students that have profound knowledge in theoretical computer science and logics.
Registration
Enrolling via OPAL is required until 18.04.2021.
Creditability
Doktor Informatik
- FAK-INF-FF: Fakultative Fächer
Contact
Name
Dr. Sascha Klüppelholz
Eine verschlüsselte E-Mail über das SecureMail-Portal versenden (nur für TUD-externe Personen).