Safe controller optimization for quadrotors with Gaussian processes | Synapse