related documents Contact-Implicit Optimization of Locomotion Trajectories for a Quadrupedal Microrobot Conference Proceeding