Theoretical analysis of the multi-agent patrolling problem | IEEE Conference Publication | IEEE Xplore