TY  - CONF

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

UR  - https://doi.org/10.1007/978-3-032-04190-6_18

PY  - 2025/09/08

AU  - Rafiq Y

AU  - Vázquez G

AU  - Calinescu R

AU  - Dogramadzi S

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1007/978-3-032-04190-6_18

PB  - Springer Nature Switzerland

SN  - 9783032041890

SP  - 290

EP  - 308

Y2  - 2025/11/05

ER  -