@inproceedings{inproceedings, title  = {{Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing}},

 publisher = {{Springer Nature Switzerland}},

 url = {{https://doi.org/10.1007/978-3-032-04190-6_18 }},

 year = {{2025}},

 month = {{9}},

 author = {{Rafiq Y and Vázquez G and Calinescu R and Dogramadzi S and Hierons RM}},

 doi = {{10.1007/978-3-032-04190-6_18}},

 isbn = {{9783032041890}},

 pages = {{290-308}},

 note = {{Accessed on 2025/11/05}}}