Ulices Santa Cruz, James Ferlez, Yasser Shoukry. Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers. In 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022. pages 3383-3388, IEEE, 2022. [doi]
Abstract is missing.