TY - RPRT TI - Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification AU - Abdelhafid Zenati AU - Nabil Aouf PY - 2025 UR - https://arxiv.org/abs/2212.06532 ID - 2212.06532 ER -