TY - RPRT TI - Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics AU - Keyvan Majd AU - Geoffrey Clark AU - Tanmay Khandait AU - Siyu Zhou AU - Sriram Sankaranarayanan AU - Georgios Fainekos AU - Heni Ben Amor PY - 2023 UR - https://arxiv.org/abs/2303.06582 ID - 2303.06582 ER -