Hanna Krasowski

According to our database, Hanna Krasowski authored at least 28 papers between 2020 and 2026.

Collaborative distances:

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

2026

Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees.

Varun Madabushi, Elizabeth Dietrich, Hanna Krasowski, Maegan Tucker

CoRR, April, 2026

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison.

Elizabeth Dietrich, Hanna Krasowski, Murat Arcak

CoRR, April, 2026

Importance Sampling for Statistical Certification of Viable Initial Sets.

Elizabeth Dietrich, Hanna Krasowski, Vegard Flovik, Murat Arcak

CoRR, April, 2026

Safe Reinforcement Learning using Action Projection: Safeguard the Policy or the Environment?

Hannah Markgraf, Shambhuraj Sawant, Hanna Krasowski, Lukas Schäfer, Sebastien Gros, Matthias Althoff

Trans. Mach. Learn. Res., 2026

2025

Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning.

Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Hanna Krasowski, Sanjit A. Seshia

CoRR, November, 2025

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis.

Elizabeth Dietrich, Hanna Krasowski, Emir Cem Gezer, Roger Skjetne, Asgeir Johan Sørensen, Murat Arcak

CoRR, November, 2025

Falsification-Driven Reinforcement Learning for Maritime Motion Planning.

Marlon Müller, Florian Finkeldei, Hanna Krasowski, Murat Arcak, Matthias Althoff

CoRR, October, 2025

Safe Reinforcement Learning using Action Projection: Safeguard the Policy or the Environment?

Hannah Markgraf, Shamburaj Sawant, Hanna Krasowski, Lukas Schäfer, Sebastien Gros, Matthias Althoff

CoRR, September, 2025

Learning to Drive by Imitating Surrounding Vehicles.

Yasin Sonmez, Hanna Krasowski, Murat Arcak

CoRR, March, 2025

Intelligent Sailing Model for Open Sea Navigation.

Hanna Krasowski, Stefan Schärdinger, Murat Arcak, Matthias Althoff

CoRR, January, 2025

Learning Biomolecular Models using Signal Temporal Logic.

Hanna Krasowski, Eric Palanques-Tost, Calin Belta, Murat Arcak

Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 2025

CommonOcean-Sim: A Traffic Simulation Environment for Unmanned Surface Vessels.

Hanna Krasowski, Stefan Schärdinger

Proceedings of the 28th IEEE International Conference on Intelligent Transportation Systems, 2025

Predictive Safety Shield for Dyna-Q Reinforcement Learning.

Pin Jin, Hanna Krasowski, Elena Vanneaux

Proceedings of the 2025 European Control Conference, 2025

STL-based Optimization of Biomolecular Neural Networks for Regression and Control.

Eric Palanques-Tost, Hanna Krasowski, Murat Arcak, Ron Weiss, Calin Belta

Proceedings of the 64th IEEE Conference on Decision and Control, 2025

2024

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

Hanna Krasowski, Matthias Althoff

IEEE Trans. Intell. Veh., December, 2024

Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking.

Roland Stolz, Hanna Krasowski, Jakob Thumm, Michael Eichelbeck, Philipp Gassert, Matthias Althoff

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking.

Hanna Krasowski, Jakob Thumm, Marlon Müller, Lukas Schäfer, Xiao Wang, Matthias Althoff

Trans. Mach. Learn. Res., 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