Development and Modeling of a Miniature Jumping Robot Based on NiTi Wires | IEEE Conference Publication | IEEE Xplore