Koopman-Based Stochastic Model Predictive Control with Partial Probabilistic Information for Nonlinear Systems | AMiner