New lecture "Formal Methods in Control" in summer term 2024

February 23, 2024

We are pleased to inform you that Dr.rer.nat Mahathi Anand will offer a new lecture in summer term 2024:

Formal Methods in Control.

For more information please follow the link:  Formal Methods in Control

We would also like to point out that the lecture Model Predictive Control will not take place this summer semester.

To the top of the page