Cautious NMPC with Gaussian Process Dynamics for Autonomous Miniature Race Cars | Synapse