A distributed LTL-based approach for intermittent communication in mobile robot networks | IEEE Conference Publication | IEEE Xplore