Computer Aided Formal Design of Swarm Robotics Algorithms.

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain

Browse the full SSS paper archive.