Object Rearrangement Through Planar Pushing: A Theoretical Analysis and Validation | IEEE Journals & Magazine | IEEE Xplore