Safety exploration using Gaussian process classification for uncertain systems | Publicación