Contact-timing and Trajectory Optimization for 3D Jumping on Quadruped Robots | IEEE Conference Publication | IEEE Xplore