Computer Aided Formal Design of Swarm Robotics Algorithms - Sorbonne Université
Communication Dans Un Congrès Année : 2021

Dates et versions

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

Identifiants

Citer

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⟩
183 Consultations
0 Téléchargements

Altmetric

Partager

More