Multi-robot surveillance: An improved algorithm for the GRAPH-CLEAR problem | Synapse