Goal-Reaching Control Synthesis for Neural Network Control Systems via Backward Reachability. - Hang Zhang; Abigail J. Winn; Yuhao Zhang 005; Xiangru Xu (IEEE Control. Syst. Lett., 2025)