Skip to Main content Skip to Navigation
Conference papers

Computer Aided Formal Design of Swarm Robotics Algorithms

Complete list of metadata

https://hal.sorbonne-universite.fr/hal-03425768
Contributor : Sébastien Tixeuil Connect in order to contact the contributor
Submitted on : Thursday, November 11, 2021 - 11:54:58 AM
Last modification on : Tuesday, November 30, 2021 - 7:03:13 PM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

25