Computer Aided Formal Design of Swarm Robotics Algorithms - Sorbonne Université Access content directly
Conference Papers Year : 2021

Dates and versions

hal-03425768 , version 1 (11-11-2021)

Identifiers

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⟩
119 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More