TY  - RPRT
TI  - Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing
AU  - Yasmin Rafiq
AU  - Gricel Vázquez
AU  - Radu Calinescu
AU  - Sanja Dogramadzi
AU  - Robert M Hierons
PY  - 2025
UR  - https://arxiv.org/abs/2504.15666
ID  - 2504.15666
ER  -