activity
20242026
most citedLearning Biomolecular Models using Signal Temporal Logic

1 citations · 1 across the 9 of their papers we have counts for

collaborators
Showing cs.ROShow all

5 papers · 1 filter

cs.RO2026

Expressiveness, Equivalence, and Uncertainty in Velocity Obstacles and Closest Point of Approach Metrics

Elizabeth Dietrich, Liam M. Imagawa, Hanna Krasowski +3

Time to Closest Point of Approach (TCPA), Distance to Closest Point of Approach (DCPA), and Velocity Obstacles (VOs), are widely used to assess and mitigate collision risk in auton…

cs.RO2026

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study

Elizabeth Dietrich, Hanna Krasowski, Emir Cem Gezer +3

Robotic systems must operate under uncertainty while satisfying complex task and safety specifications. Monitoring such specifications under uncertainty remains challenging, as exi…

cs.RO2026

X-Safe: Embodiment-Agnostic Safeguarding for Robot Arm Manipulation Policies via Action Masking

Alex Beaudin, Hanna Krasowski, Kartik Nagpal +3

Ensuring safety of learning-enabled robotic manipulation across diverse embodiments and tasks still requires significant manual engineering. For collision avoidance, existing appro…

cs.RO2025

Learning to Drive by Imitating Surrounding Vehicles

Yasin Sonmez, Hanna Krasowski, Murat Arcak

Imitation learning is a promising approach for training autonomous vehicles (AV) to navigate complex traffic environments by mimicking expert driver behaviors. While existing imita…

cs.RO2025

Intelligent Sailing Model for Open Sea Navigation

Hanna Krasowski, Stefan Schärdinger, Murat Arcak +1

Autonomous vessels potentially enhance safety and reliability of seaborne trade. To facilitate the development of autonomous vessels, simulations are required to model realistic in…