Construction of Robust NCR for Input-Constrained Discrete Nonlinear Systems Using Backward Reachability. - Ashish Kothyari; Addyay Banerjee; Prashant Mhaskar (ACC, 2024)