A Movement Control Policy Based on Probabilistic Coverage Model for Mobile Sensor Networks | IEEE Conference Publication | IEEE Xplore