Hanna Krasowski

According to our database, Hanna Krasowski authored at least 12 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea.

Hanna Krasowski, Matthias Althoff

CoRR, 2024

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

Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces.

Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

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

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic.

Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff

CoRR, 2022

Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes.

Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff

CoRR, 2022

Provably Safe Reinforcement Learning: A Theoretical and Experimental Comparison.

Hanna Krasowski, Jakob Thumm, Marlon Müller, Xiao Wang, Matthias Althoff

CoRR, 2022

Safe Reinforcement Learning for Urban Driving using Invariably Safe Braking Sets.

Hanna Krasowski, Yinqiang Zhang, Matthias Althoff

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

CommonOcean: Composable Benchmarks for Motion Planning on Oceans.

Hanna Krasowski, Matthias Althoff

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

2021

Temporal Logic Formalization of Marine Traffic Rules.

Hanna Krasowski, Matthias Althoff

Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of Autonomous Vehicles.

Xiao Wang, Hanna Krasowski, Matthias Althoff

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

2020

Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction.

Hanna Krasowski, Xiao Wang, Matthias Althoff

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020