 Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe
Two-Level Lattice Neural Network ControllersIEEE Conference on Decision and Control (CDC), 2021 |
 Towards Repairing Neural Networks CorrectlyInternational Conference on Software Quality, Reliability and Security (QRS), 2020 |
