Doctoral Seminar "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
Send encrypted email via the SecureMail portal (for TUD external users only).