Hanna Krasowski

30 papers A* 1C 1Journal 18Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Safe Reinforcement Learning using Action Projection: Safeguard the Policy or the Environment? Trans. Mach. Learn. Res. Hannah Markgraf, Shambhuraj Sawant, Hanna Krasowski, Lukas Schäfer, Sebastien Gros, Matthias Althoff
2025	J	`jnl`	Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning. CoRR Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Hanna Krasowski, Sanjit A. Seshia
2025	—	`conf`	CommonOcean-Sim: A Traffic Simulation Environment for Unmanned Surface Vessels. ITSC Hanna Krasowski, Stefan Schärdinger
2025	J	`jnl`	Falsification-Driven Reinforcement Learning for Maritime Motion Planning. CoRR Marlon Müller, Florian Finkeldei, Hanna Krasowski, Murat Arcak, Matthias Althoff
2025	J	`jnl`	Intelligent Sailing Model for Open Sea Navigation. CoRR Hanna Krasowski, Stefan Schärdinger, Murat Arcak, Matthias Althoff
2025	—	`conf`	Learning Biomolecular Models using Signal Temporal Logic. L4DC Hanna Krasowski, Eric Palanques-Tost, Calin Belta, Murat Arcak
2025	J	`jnl`	Learning to Drive by Imitating Surrounding Vehicles. CoRR Yasin Sonmez, Hanna Krasowski, Murat Arcak
2025	—	`conf`	Predictive Safety Shield for Dyna-Q Reinforcement Learning. ECC Pin Jin, Hanna Krasowski, Elena Vanneaux
2025	J	`jnl`	Predictive Safety Shield for Dyna-Q Reinforcement Learning. CoRR Pin Jin, Hanna Krasowski, Elena Vanneaux
2025	—	`conf`	STL-based Optimization of Biomolecular Neural Networks for Regression and Control. CDC Eric Palanques-Tost, Hanna Krasowski, Murat Arcak, Ron Weiss, Calin Belta
2025	J	`jnl`	STL-based Optimization of Biomolecular Neural Networks for Regression and Control. CoRR Eric Palanques-Tost, Hanna Krasowski, Murat Arcak, Ron Weiss, Calin Belta
2025	J	`jnl`	Safe Reinforcement Learning using Action Projection: Safeguard the Policy or the Environment? CoRR Hannah Markgraf, Shamburaj Sawant, Hanna Krasowski, Lukas Schäfer, Sebastien Gros, Matthias Althoff
2025	J	`jnl`	pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis. CoRR Elizabeth Dietrich, Hanna Krasowski, Emir Cem Gezer, Roger Skjetne, Asgeir Johan Sørensen, Murat Arcak
2024	A*	`conf`	Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking. NeurIPS Roland Stolz, Hanna Krasowski, Jakob Thumm, Michael Eichelbeck, Philipp Gassert, Matthias Althoff
2024	J	`jnl`	Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking. CoRR Roland Stolz, Hanna Krasowski, Jakob Thumm, Michael Eichelbeck, Philipp Gassert, Matthias Althoff
2024	J	`jnl`	Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea. CoRR Hanna Krasowski, Matthias Althoff
2024	J	`jnl`	Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea. IEEE Trans. Intell. Veh. Hanna Krasowski, Matthias Althoff
2023	J	`jnl`	Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents. CoRR Matthias Killer, Marius Wiggert, Hanna Krasowski, Manan Doshi, Pierre F. J. Lermusiaux, Claire J. Tomlin
2023	J	`jnl`	Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking. Trans. Mach. Learn. Res. Hanna Krasowski, Jakob Thumm, Marlon Müller, Lukas Schäfer, Xiao Wang, Matthias Althoff
2023	—	`conf`	Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces. CDC Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff
2023	—	`conf`	Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers. CDC Andreas Doering, Marius Wiggert, Hanna Krasowski, Manan Doshi, Pierre F. J. Lermusiaux, Claire J. Tomlin
2023	J	`jnl`	Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers. CoRR Andreas Doering, Marius Wiggert, Hanna Krasowski, Manan Doshi, Pierre F. J. Lermusiaux, Claire J. Tomlin
2022	—	`conf`	CommonOcean: Composable Benchmarks for Motion Planning on Oceans. ITSC Hanna Krasowski, Matthias Althoff
2022	J	`jnl`	Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes. CoRR Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff
2022	J	`jnl`	Provably Safe Reinforcement Learning: A Theoretical and Experimental Comparison. CoRR Hanna Krasowski, Jakob Thumm, Marlon Müller, Xiao Wang, Matthias Althoff
2022	—	`conf`	Safe Reinforcement Learning for Urban Driving using Invariably Safe Braking Sets. ITSC Hanna Krasowski, Yinqiang Zhang, Matthias Althoff
2022	J	`jnl`	Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic. CoRR Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff
2021	—	`conf`	CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of Autonomous Vehicles. ITSC Xiao Wang, Hanna Krasowski, Matthias Althoff
2021	C	`conf`	Temporal Logic Formalization of Marine Traffic Rules. IV Hanna Krasowski, Matthias Althoff
2020	—	`conf`	Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction. ITSC Hanna Krasowski, Xiao Wang, Matthias Althoff