TY  - CONF

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

JO  - SEAA

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

PY  - 2025/01/01

AU  - Rafiq Y

AU  - Vázquez G

AU  - Calinescu R

AU  - Dogramadzi S

AU  - Hierons RM

ED  - Taibi D

ED  - Smite D

PB  - Springer

SN  - 978-3-032-04189-0

VL  - 16081

SP  - 290

EP  - 308

Y2  - 2025/10/02

ER  -