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

Creditability

Doktor Informatik

• FAK-INF-FF: Fakultative Fächer

Contact