Planning Optimal Paths for Multiple Robots on Graphs | Synapse