Multi-stage Nonlinear Model Predictive Control with verified robust constraint satisfaction | IEEE Conference Publication | IEEE Xplore