Items where authors include "Hierons, Robert M"

Proceedings Paper

RAFIQ, YASMEEN, VAZQUEZ FLORES, Gricel, Calinescu, RADU orcid.org/0000-0002-2678-9260 et al. (2 more authors) (2025) Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing. In: Taibi, Davide and Smite, Darja, (eds.) 51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA. 51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA, 10 Sep 2024 - 12 Sep 2025. Springer , ITA , pp. 290-308.