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

 publisher = {{Springer}},

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

 year = {{2025}},

 month = {{1}},

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

 isbn = {{978-3-032-04189-0}},

 volume = {{16081}},

 journal = {{SEAA}},

 pages = {{290-308}},

 note = {{Accessed on 2025/10/02}}}