@misc{indiciaed69d72c9f258,
  title = {Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing},
  author = {Yasmin Rafiq and Gricel Vázquez and Radu Calinescu and Sanja Dogramadzi and Robert M Hierons},
  year = {2025},
  url = {https://arxiv.org/abs/2504.15666},
  note = {Source identifier: 2504.15666}
}