Proximal operators for multi-agent path planning