Conference Papers
Year : 2021
Sébastien Tixeuil : Connect in order to contact the contributor
https://hal.sorbonne-universite.fr/hal-03425768
Submitted on : Thursday, November 11, 2021-11:54:58 AM
Last modification on : Wednesday, September 4, 2024-5:34:07 PM
Cite
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Computer Aided Formal Design of Swarm Robotics Algorithms. Stabilization, Safety, and Security of Distributed Systems. SSS 2021, Nov 2021, Online, Sweden. pp.469-473, ⟨10.1007/978-3-030-91081-5_31⟩. ⟨hal-03425768⟩
Collections
156
View
0
Download