Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics