Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping. - Jianqiang Ding; Nishant Jayesh Bhave; Shankar A. Deka (CoRR, 2026)