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

Computer Aided Formal Design of Swarm Robotics Algorithms

Domaines

Calcul parallèle, distribué et partagé [cs.DC] Ingénierie assistée par ordinateur Robotique [cs.RO]

Sébastien Tixeuil  : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 11 novembre 2021-11:54:58

Dernière modification le : mercredi 30 octobre 2024-13:32:47

Consulter le texte intégral

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⟩

Exporter

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

Altmetric

Partager

More