Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study