Solving the box-pushing problem using a spherical robot | IEEE Conference Publication | IEEE Xplore