Multi-agent probabilistic search in a sequential decision-theoretic framework | IEEE Conference Publication | IEEE Xplore