Guaranteed Gaussian Process Predictive Control for Lipschitz Nonlinear System with Input and State Constraints | IEEE Conference Publication | IEEE Xplore