Computer Aided Formal Design of Swarm Robotics Algorithms - Archive ouverte HAL 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⟩
94 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More