Distributed information gathering policies under temporal logic constraints