Informative Path Planning to Explore and Map Unknown Planetary Surfaces with Gaussian Processes | IEEE Conference Publication | IEEE Xplore