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.
Registration
Enrolling via OPAL is required until 11.04.2023.
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).