Spine dynamics as a computational resource in spine-driven quadruped locomotion | IEEE Conference Publication | IEEE Xplore