Differentiable Gaussian Process Motion Planning | IEEE Conference Publication | IEEE Xplore