87 citations · 166 across the 22 of their papers we have counts for
4 papers · 1 filter
Hazard Management in Robot-Assisted Mammography Support
Ioannis Stefanakos, Roisin Bradley, Radu Calinescu +3
Robotic and embodied-AI systems have the potential to improve accessibility and quality of care in clinical settings, but their deployment in close physical contact with vulnerable…
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…
Bayesian Learning for the Robust Verification of Autonomous Robots
Xingyu Zhao, Simos Gerasimou, Radu Calinescu +3
Autonomous robots used in infrastructure inspection, space exploration and other critical missions operate in highly dynamic environments. As such, they must continually verify the…
Towards Adaptive Planning of Assistive-care Robot Tasks
Jordan Hamilton, Ioannis Stefanakos, Radu Calinescu +1
This 'research preview' paper introduces an adaptive path planning framework for robotic mission execution in assistive-care applications. The framework provides a graph-based envi…