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

Re-assign community