Dynamic Modeling and Validation of Soft Robotic Snake Locomotion | IEEE Conference Publication | IEEE Xplore