2 papers
cs.RO2025
Hybrid Control Strategies for Safe and Adaptive Robot-Assisted Dressing
Yasmin Rafiq, Baslin A. James, Ke Xu +2
Safety, reliability, and user trust are crucial in human-robot interaction (HRI) where the robots must address hazards in real-time. This study presents hazard driven low-level con…
cs.RO2025
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing
Yasmin Rafiq, Gricel Vázquez, Radu Calinescu +2
We present a control framework for robot-assisted dressing that augments low-level hazard response with runtime monitoring and formal verification. A parametric discrete-time Marko…