Exploiting Aggregate Programming in a Multi-Robot Service Prototype | Synapse