Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification. - Abdelhafid Zenati; Nabil Aouf; David Sanchez de la Llana; Samir Bannani (CoRR, 2022)