Towards a Formal Specification for Self-organized Shape Formation in Swarm Robotics

YR Darr, MA Niazi

The self-organization of robots for the formation of structures and shapes is a stimulating application of the swarm robotic system. It involves a large number of autonomous robots…