Abstract: This letter addresses the safe control synthesis problem for neural network control systems subject to bounded unknown disturbances and known exogenous inputs. A forward reachability ...