Cautious NMPC with Gaussian Process Dynamics for Autonomous Miniature Race Cars | IEEE Conference Publication | IEEE Xplore