CollisionGP: comprobación de colisiones probabilística con procesos gaussianos | Publicación