Sotabase

Career

· Affiliate, Berkeley Artificial Intelligence Research (BAIR)2024–
· Postdoctoral Researcher, UC Berkeley EECS2024–

Publications (23)

Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) · 2020
78
cited
Provably Safe Reinforcement Learning via Action Projection Using Reachability Analysis and Polynomial Zonotopes
IEEE Open Journal of Control Systems · 2022
45
cited
Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking
Trans. Mach. Learn. Res. · 2022
40
cited
CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of Autonomous Vehicles
International Conference on Intelligent Transportation Systems · 2021
39
cited
Temporal Logic Formalization of Marine Traffic Rules
2021 IEEE Intelligent Vehicles Symposium (IV) · 2021
20
cited
Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking
Neural Information Processing Systems · 2024
15
cited
Safe Reinforcement Learning for Urban Driving using Invariably Safe Braking Sets
2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC) · 2022
15
cited
Provably Safe Reinforcement Learning: A Theoretical and Experimental Comparison
arXiv.org · 2022
11
cited
Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers
IEEE Conference on Decision and Control · 2023
9
cited
CommonOcean: Composable Benchmarks for Motion Planning on Oceans
2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC) · 2022
6
cited
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
IEEE Transactions on Intelligent Vehicles · 2024
5
cited
Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents
2023
3
cited
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces
IEEE Conference on Decision and Control · 2022
3
cited
Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic
arXiv.org · 2022
2
cited
Falsification-Driven Reinforcement Learning for Maritime Motion Planning
arXiv.org · 2025
1
cited
Learning Biomolecular Models using Signal Temporal Logic
bioRxiv · 2024
1
cited
Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning
arXiv.org · 2025
Intelligent Sailing Model for Open Sea Navigation
arXiv.org · 2025
Learning to Drive by Imitating Surrounding Vehicles
arXiv.org · 2025
pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
arXiv.org · 2025
Sotabase
Hanna Krasowski | Researcher Profile | Sotabase | Sotabase