Learning a Gaussian Process Approximation of a Model Predictive Controller with Guarantees | IEEE Conference Publication | IEEE Xplore