Foto von Hanna Krasowski

Hanna Krasowski

Technische Universität München

Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)

Postadresse

Postal:
Boltzmannstr. 3
85748 Garching b. München

Curriculum Vitae

Hanna Krasowski joined the Cyber Physical Systems Group as a PhD candidate under the supervision of Prof. Dr.-Ing. Matthias Althoff in 2020. She is a member of the DFG Research Training Group on Continuous Verification of Cyber-Physical Systems (ConVeY). Hanna received her master's degree in Robotics, Cognition, Intelligence from Technical University of Munich in 2020 and her bachelor's degree in Mechanical and Process Engineering from Technical University of Darmstadt in 2017.

Her research interests include safe reinforcement learning, motion planning and formal methods.

Offered Thesis Topics

I am always looking for self-motivated students to solve interesting problems arising in my research areas. If you are interested in one of the currently available topics, or in my research in general and want to write a thesis in this field, simply send me a mail briefly describing your motivation.

Currently Available

Ongoing

Finished

 

Teaching

Lectures

  • Formal Methods for Cyber-Physical Systems [WS 20/21] – Safe Reinforcement Learning
  • Cyber-Physical Systems [SS 21] – Discrete Systems

Practical Course – Motion Planning for Autonomous Vehicles [WS 20/21, SS 21]

  • Benchmarking Marine Motion Planning
  • Reinforcement Learning for Autonomous Vessels

Seminar – Cyber-Physical Systems [WS 20/21, SS 21]

  • Review on Motion Planning and Control Strategies for Autonomous Vessels
  • Near-collision Detection for Marine Traffic
  • Safe Reinforcement Learning for Motion Planning

 

Publications

2021

  • Krasowski, Hanna; Althoff, Matthias: Temporal Logic Formalization of Marine Traffic Rules. 2021 IEEE Intelligent Vehicles Symposium (IV), 2021 mehr… BibTeX Volltext (mediaTUM)
  • Xiao Wang; Hanna Krasowski; Matthias Althoff: CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of Autonomous Vehicles. IEEE International Conference on Intelligent Transportation Systems (ITSC), 2021 mehr… BibTeX Volltext (mediaTUM)

2020

  • Krasowski, Hanna; Wang, Xiao; Althoff, Matthias: Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction. 2020 IEEE International Conference on Intelligent Transportation Systems (ITSC), 2020 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)