Terramechanics-based modeling of locomotion characteristics of miniature tracked unmanned ground vehicle | IEEE Conference Publication | IEEE Xplore