Probabilistic methods for robotic landmine search | IEEE Conference Publication | IEEE Xplore