Multi-robot navigation in social mini-games: definitions, taxonomy, and algorithms | Synapse