Formal methods for the design and analysis of robot swarms

Président du jury Bersini, Hugues

Promoteur Dorigo, Marco

Publication Non publié, 2014-04-28

Thèse de doctorat

Securing Federated Learning in Robot Swarms Using Blockchain Technology
par Pacheco, Alexandre , De Vos, Sébastien , Reina, Andreagiovanni , Dorigo, Marco , Strobel, Volker
Publication 2026-01-01
Mercator: A modular swarm-dedicated robot platform
par Kegeleirs, Miquel , Garzón Ramos, David , Szpirer, Jeanne , Lara Vera, Cristobal , Legarda Herranz, Guillermo , Gharbi, Ilyes , Francesca, Gianpiero , Birattari, Mauro
Publication 2026-03
Assessing the impact of feature communication in swarm perception for people re-identification
par Kegeleirs, Miquel , Gharbi, Ilyes , Kaplanis, Marios , Garattoni, Lorenzo , Francesca, Gianpiero , Birattari, Mauro
Publication 2025-12-01
Swarm Oracle: Towards Trustless Self-Organization in Robot Swarms using Blockchain Technologies
par Melo Pacheco, Alexandre
Publication Ecole polytechnique de Bruxelles – Informatique, Bruxelles, Université libre de Bruxelles, 2026-04-24
Centralization vs. decentralization in multi-robot sweep coverage with ground robots and UAVs
par Jamshidpey, Aryo , Wahby, Mostafa , Allwright, Michael , Zhu, Weixu , Dorigo, Marco , Heinrich, Mary Katherine
Publication 2025-12-01

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.