Multirobot Symbolic Planning under Temporal Uncertainty
Capt: Concurrent assignment and planning of trajectories for multiple robots