Distributed Sensing Subject to Temporal Logic Constraints | IEEE Conference Publication | IEEE Xplore