Algorithmic motion planning in robotics: Coordinated motion of several disks amidst polygonal obstacles | IEEE Conference Publication | IEEE Xplore