Motion generation for a tumbling robot using a general contact model | IEEE Conference Publication | IEEE Xplore