Hanna Krasowski

My vision is to achieve effortless deployment of robots that safely interact with our physical world. The focus of my research is the development of efficient algorithms for complex controllers to ensure compliance with specifications. To this end, I combine the versatility of reinforcement learning and formal methods’ provable guarantees. I run experiments on a variety of motion planning use cases, ranging from autonomous driving to maritime vessels.

Currently, I am a postdoctoral researcher in Murat Arcak’s group at UC Berkeley EECS and affiliated with Berkeley Artificial Intelligence Research (BAIR). I am co-advised by Sanjit Seshia. Previously, I was a doctoral researcher at Technical University of Munich’s Cyber-Physical Systems Group led by Matthias Althoff. In 2022, I visited Aaron Ames’ group at Caltech. I obtained a Master’s degree in Robotics, Cognition, Intelligence from Technical University of Munich and a Bachelor’s degree from Technical University of Darmstadt.

Research interests

reinforcement learning \(\cdot\) formal methods \(\cdot\) autonomous systems \(\cdot\) systems biology

Software packages

CommonOcean is a collection of composable benchmarks for motion planning of autonomous vessels and provides researchers with means to evaluate and compare their motion planners. Along with benchmarks, we provide tools for motion planning, such as a data converter for AIS data.

CommonRoad-RL offers a software package to solve motion planning problems from CommonRoad driving scenarios using reinforcement learning methods. CommonRoad-RL facilitates the benchmarking of autonomous driving research with reinforcement learning.

Beyond research

I am passionate about encouraging girls to consider STEM subjects for their careers. In my opinion, STEM subjects allow you to gain a deep understanding of the world and teach you how to manipulate it to achieve innovation. For me, these opportunities to shape the world are very empowering, and I hope to convey this motivation and spark interest in STEM by running workshops during which female role models guide high-school girls through hands-on science experiments. I head the initiative Girls macht MI(N)T! and actively support TUM Entdeckerinnen.