Multi-robot exploration and rendezvous on graphs.