Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction. - Hanna Krasowski; Xiao Wang 046; Matthias Althoff (ITSC, 2020)

CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of Autonomous Vehicles. - Xiao Wang 046; Hanna Krasowski; Matthias Althoff (ITSC, 2021)

Temporal Logic Formalization of Marine Traffic Rules. - Hanna Krasowski; Matthias Althoff (IV, 2021)

CommonOcean: Composable Benchmarks for Motion Planning on Oceans. - Hanna Krasowski; Matthias Althoff (ITSC, 2022)

Safe Reinforcement Learning for Urban Driving using Invariably Safe Braking Sets. - Hanna Krasowski; Yinqiang Zhang; Matthias Althoff (ITSC, 2022)

Provably Safe Reinforcement Learning: A Theoretical and Experimental Comparison. - Hanna Krasowski; Jakob Thumm; Marlon Müller; Xiao Wang 046; Matthias Althoff (CoRR, 2022)

Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes. - Niklas Kochdumper; Hanna Krasowski; Xiao Wang 046; Stanley Bak; Matthias Althoff (CoRR, 2022)

Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic. - Hanna Krasowski; Prithvi Akella; Aaron D. Ames; Matthias Althoff (CoRR, 2022)

Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers. - Andreas Doering; Marius Wiggert; Hanna Krasowski; Manan Doshi; Pierre F. J. Lermusiaux; Claire J. Tomlin (CDC, 2023)

Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces. - Hanna Krasowski; Prithvi Akella; Aaron D. Ames; Matthias Althoff (CDC, 2023)

Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents. - Matthias Killer; Marius Wiggert; Hanna Krasowski; Manan Doshi; Pierre F. J. Lermusiaux; Claire J. Tomlin (CoRR, 2023)

Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking. - Hanna Krasowski; Jakob Thumm; Marlon Müller; Lukas Schäfer 004; Xiao Wang 046; Matthias Althoff (Trans. Mach. Learn. Res., 2023)

Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking. - Roland Stolz; Hanna Krasowski; Jakob Thumm; Michael Eichelbeck; Philipp Gassert; Matthias Althoff (NeurIPS, 2024)

Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea. - Hanna Krasowski; Matthias Althoff (IEEE Trans. Intell. Veh., 2024)

Learning Biomolecular Models using Signal Temporal Logic. - Hanna Krasowski; Eric Palanques-Tost; Calin Belta; Murat Arcak (L4DC, 2025)

Intelligent Sailing Model for Open Sea Navigation. - Hanna Krasowski; Stefan Schärdinger; Murat Arcak; Matthias Althoff (CoRR, 2025)

Learning to Drive by Imitating Surrounding Vehicles. - Yasin Sonmez; Hanna Krasowski; Murat Arcak (CoRR, 2025)