Hanna Krasowski

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 15

Top Topics

Continuous Action

Reinforcement Learning

Mazurkiewicz Traces

Top Venues

Publications

Roland Stolz, Hanna Krasowski, Jakob Thumm, Michael Eichelbeck, Philipp Gassert, Matthias Althoff
Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking. CoRR (2024)
Hanna Krasowski, Matthias Althoff
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea. CoRR (2024)
Hanna Krasowski, Jakob Thumm, Marlon Müller, Lukas Schäfer, Xiao Wang, Matthias Althoff
Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking. Trans. Mach. Learn. Res. 2023 (2023)
Matthias Killer, Marius Wiggert, Hanna Krasowski, Manan Doshi, Pierre F. J. Lermusiaux, Claire J. Tomlin
Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents. CoRR (2023)
Andreas Doering, Marius Wiggert, Hanna Krasowski, Manan Doshi, Pierre F. J. Lermusiaux, Claire J. Tomlin
Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers. CDC (2023)
Andreas Doering, Marius Wiggert, Hanna Krasowski, Manan Doshi, Pierre F. J. Lermusiaux, Claire J. Tomlin
Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers. CoRR (2023)
Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces. CDC (2023)
Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes. CoRR (2022)
Hanna Krasowski, Jakob Thumm, Marlon Müller, Xiao Wang, Matthias Althoff
Provably Safe Reinforcement Learning: A Theoretical and Experimental Comparison. CoRR (2022)
Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff
Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic. CoRR (2022)
Hanna Krasowski, Matthias Althoff
CommonOcean: Composable Benchmarks for Motion Planning on Oceans. ITSC (2022)
Hanna Krasowski, Yinqiang Zhang, Matthias Althoff
Safe Reinforcement Learning for Urban Driving using Invariably Safe Braking Sets. ITSC (2022)
Hanna Krasowski, Matthias Althoff
Temporal Logic Formalization of Marine Traffic Rules. IV (2021)
Xiao Wang, Hanna Krasowski, Matthias Althoff
CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of Autonomous Vehicles. ITSC (2021)
Hanna Krasowski, Xiao Wang, Matthias Althoff
Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction. ITSC (2020)