Multi-Robot Planning Under Uncertainty