Multirobot Symbolic Planning under Temporal Uncertainty
Planning for decentralized control of multiple robots under uncertainty