Repairing Neural Networks for Safety in Robotic Systems using Predictive Models. - Majd, Keyvan; Clark, Geoffrey; Fainekos, Georgios; Amor, Heni Ben (2024)