Environment modeling and temporal mission planning for planetary rover exploration | IEEE Conference Publication | IEEE Xplore