A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs. - Thibaut Balabonski; Robin Pelle; Lionel Rieg; Sébastien Tixeuil (ICDCN, 2018)

Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. - Thibaut Balabonski; Pierre Courtieu; Robin Pelle; Lionel Rieg; Sébastien Tixeuil; Xavier Urbain (SSS, 2018)

Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. - Thibaut Balabonski; Pierre Courtieu; Robin Pelle; Lionel Rieg; Sébastien Tixeuil; Xavier Urbain (NETYS, 2019)

Contribution à la modélisation formelle d'essaims de robots mobiles. (Contribution to the formal modelling of mobile robot swarms). - Robin Pelle (2020)

Computer Aided Formal Design of Swarm Robotics Algorithms. - Thibaut Balabonski; Pierre Courtieu; Robin Pelle; Lionel Rieg; Sébastien Tixeuil; Xavier Urbain (SSS, 2021)