Kinematics modeling and simulation for an amphibious robot: Design and implementation | IEEE Conference Publication | IEEE Xplore