Recursive Feasibility of Stochastic Model Predictive Control with Mission-Wide Probabilistic Constraints | IEEE Conference Publication | IEEE Xplore