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

Computer Aided Formal Design of Swarm Robotics Algorithms

Domains

Distributed, Parallel, and Cluster Computing [cs.DC] Computer Aided Engineering Robotics [cs.RO]

Sébastien Tixeuil  : Connect in order to contact the contributor

https://hal.sorbonne-universite.fr/hal-03425768

Submitted on : Thursday, November 11, 2021-11:54:58 AM

Last modification on : Wednesday, September 4, 2024-5:34:07 PM

Consult the full text

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS INRIA UNIV-LYON1 UNIV-LYON2 ENS-CACHAN INSA-LYON EC-LYON CNAM LIRIS LIP6 VERIMAG CENTRALESUPELEC UNIV-PARIS-SACLAY INSA-GROUPE SORBONNE-UNIVERSITE CEDRIC-CNAM SU-SCIENCES UDL ANR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF SPRES HESAM
156 View
0 Download

Altmetric

Share

More