Spatial coverage planning for a planetary rover | IEEE Conference Publication | IEEE Xplore