A task planner for the computer-aided design of a space-lander robot | IEEE Conference Publication | IEEE Xplore