Pré-publication, Document de travail, Informatique mobile

Computer Aided Formal Design of Swarm Robotics Algorithms

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Computer Aided Formal Design of Swarm Robotics Algorithms. 2021. ⟨hal-03111541⟩

Publié le