TY  - GEN

T1  - Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing

T2  - arXiv

PY  - 2025/04/22

AU  - Rafiq Y

AU  - Vázquez G

AU  - Calinescu R

AU  - Dogramadzi S

AU  - Hierons RM

ED  - 

DO  - DOI: 10.48550/arxiv.2504.15666

Y2  - 2025/11/18

ER  -