Studying slippage on pushing applications with snake robots | IEEE Conference Publication | IEEE Xplore