Multi-Agent Search under Uncertainty