Musical abstractions for multi-robot coordination