Time-optimal graph traversal for two agents: when is formation travel beneficial? | IEEE Conference Publication | IEEE Xplore