Scholar
Hanna Krasowski
Google Scholar ID: BNUx83UAAAAJ
Postdoc at University of California Berkeley
reinforcement learning
control
formal methods
autonomous systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
351
H-index
8
i10-index
7
Publications
19
Co-authors
16
list available
Contact
Email
krasowski@berkeley.edu
CV
Open ↗
GitHub
Open ↗
LinkedIn
Open ↗
Publications
14 items
Expressiveness, Equivalence, and Uncertainty in Velocity Obstacles and Closest Point of Approach Metrics
2026
Cited
0
Decentralized Safe Multi-Agent Reinforcement Learning via Predictive Shielding
2026
Cited
0
Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study
2026
Cited
0
Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic
2026
Cited
0
Any-Body Guard: Universal Safeguarding for Manipulation Policies via Action Masking
2026
Cited
0
Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees
2026
Cited
0
Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning
2025
Cited
0
pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
2025
Cited
0
Load more
Co-authors
8 total
Matthias Althoff
Associate Professor in Computer Science, Technische Universität München
Jakob Thumm
Postdoctoral Researcher at Stanford University
Marlon Müller
Technical University of Munich, Munich Center for Machine Learning (MCML)
Claire Tomlin
UC Berkeley
Pierre Lermusiaux
Professor of Mechanical Engineering and Ocean Science and Engineering, MIT
Michael Eichelbeck
PhD Researcher, Technical University of Munich
Calin Belta
Brendan Iribe Endowed Professor, University of Maryland
Aaron D. Ames
Bren Professor, Mechanical and Civil Engineering, Control and Dynamical Systems, Caltech
