Algorithmic motion planning in robotics: Coordinated motion of several disks amidst polygonal obstacles | Synapse