Verifiable Control Synthesis for Robotic Swarms