Stochastic Nonlinear Model Predictive Control Using Gaussian Processes | IEEE Conference Publication | IEEE Xplore