Omni-tread 형태의 뱀로봇의 모델링 및 검증