Online Controller Synthesis for Robot Collision Avoidance: A Case Study