Safe Guaranteed Exploration for Non-linear Systems