Experimental verification of transversal functions for trident snake robot | IEEE Conference Publication | IEEE Xplore