Multi-robot harbor patrolling: a probabilistic approach