Hang Zhang, Abigail J. Winn, Yuhao Zhang 0005, Xiangru Xu. Goal-Reaching Control Synthesis for Neural Network Control Systems via Backward Reachability. In American Control Conference, ACC 2026, New Orleans, LA, USA, May 26-29, 2026. pages 1-6, IEEE, 2026. [doi]
Abstract is missing.