Multi-robot patrol: A distributed algorithm based on expected idleness. (14th November 2016)