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