My research focuses on the design of robot swarms with guaranteed behavioural properties. The goal is to conceive a reliable method to design robust robot swarms that could be used in real-world environments.