Stochastic Nonlinear Model Predictive Control Using Gaussian Processes | Synapse