Computationally efficient information-theoretic exploration of pits and caves | IEEE Conference Publication | IEEE Xplore