Type synthesis of legged mobile landers with multi-loop mechanisms | IEEE Conference Publication | IEEE Xplore