Lectures
2023 Winter Semester - Introduction to CPS (Hildesheim)
2023 Summer Semester - Introduction to CPS (TUM)
Seminars & Conferences
2023 Winter Semester - Neural Network and Safety (Hildesheim)
2023 Tutorial - Runtime monitoring DNN-based perception (via the lens of formal methods)