To push or not to push: on the rearrangement of movable objects by a mobile robot | IEEE Journals & Magazine | IEEE Xplore