Showing cs.ROShow all
2 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…