Teaching

The table below comprises lectures, seminars, and practical courses offered at the Professorship for Cyber Physical Systems.

For theses or guided research, please see here and/or directly contact a doctoral researcher.

Courses

Type	Title	Lecturer (assistant)	Duration
SE	Doctoral Seminar - Robotics (IN2137)	M. Althoff [L] D. Burschka A. C. Knoll	2
VI	Formal Methods for Cyber-Physical Systems	M. Althoff [L] L. Koller T. Ladner L. Lützow S. Sigl Y. Zhang	4
VI	Fundamentals of Artificial Intelligence (IN2406)	M. Althoff [L] F. Lercher L. Lützow S. Mair J. Thumm	5
PR	Masterpraktikum - Autonomous Mobile Robots for Unstructured Environments (IN2106, IN4383)	M. Althoff [L] C. Carste J. Hoffmann	6
PR	Masterpraktikum - Formal Methods for AI-Enabled Cyber-Physical Systems (IN2106, IN4385)	M. Althoff [L] L. Koller T. Ladner F. Lercher L. Lützow S. Sigl Y. Zhang	6
PR	Masterpraktikum - Machine Learning for Smart Grids (IN2106, IN4342)	M. Althoff [L] M. Eichelbeck H. Markgraf	6
PR	Masterpraktikum - Safe Reinforcement Learning for Modular Robots (IN2106, IN4386)	M. Althoff [L] J. Balletshofer J. Külz J. Thumm	6
PR	Praktikum - Motion planning for autonomous vehicles (IN2106, IN0012, IN4221)	M. Althoff [L] Y. Wang	6
SE	Seminar - Cyber-Physical Systems (IN0014, IN2107, IN4813)	M. Althoff [L] P. Gassert	2
VI	Techniques in Artificial Intelligence (IN2062)	M. Althoff [L] F. Lercher L. Lützow S. Mair J. Thumm	4