Distributed information gathering policies under temporal logic constraints | IEEE Conference Publication | IEEE Xplore