Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Computer Aided Formal Design of Swarm Robotics Algorithms. In Colette Johnen, Elad Michael Schiller, Stefan Schmid 0001, editors, Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings. Volume 13046 of Lecture Notes in Computer Science, pages 469-473, Springer, 2021. [doi]
Abstract is missing.