Planning under uncertainty for safe robot exploration using Gaussian process prediction | Synapse