Michaela Klauck

Background

About Michaela Klauck

I am a systems and requirements engineer working at Rohde & Schwarz in Munich. Before, I was a research engineer at Bosch Research in Renningen. I worked on making the behavior of autonomous sytems (e.g, cars or robots) more reliable and robust. My focus lied in the verification of planning and decision making in autonomous systems. I was working on model-checking robotic deliberation (e.g, in the CONVINCE EU-Horizon projct) and autonomous driving behavior. Therefore, I was associated with the robotics and autonomous driving portfolios at Bosch Research. Previously, I have been a research associate at the chair of Prof. Holger Hermanns, Dependable Systems and Software Group at Saarland University, since November 2017, where I have been working in the area of quantitative verification, especially at the interface of these topics to automatic planning and the AI community, e.g, by performing quality analysis of neural network decision making agents in autonomous driving scenarios. In June 2022, I successfully defended my PhD (Dr-Ing.) thesis "On the Connection of Probabilistic Model Checking, Planning, and Learning for System Verification". Homepage: https://mklauck.github.io/