Computer Aided Formal Design of Swarm Robotics Algorithms - Sorbonne Université
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⟩
156 View
0 Download

Altmetric

Share

More