Safe Mission-Level Path Planning for Exploration of Lunar Shadowed Regions by a Solar-Powered Rover | IEEE Conference Publication | IEEE Xplore