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.
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).