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
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
A Blockchain Framework for Equitable and Secure Task Allocation in Robot Swarms
par Zhao, Hanqing , Pacheco, Alexandre , Beltrame, Giovanni , Liu, Xue , Dorigo, Marco , Duby, Grégory
Publication 2025-10-01
Make or Buy Decisions and Data Sharing
par Dubus, Antoine , Legros, Patrick
Publication 2026-02-05
The barriers to uptake of artificial intelligence in hepatology and how to overcome them.
par Clusmann, Jan , Balaguer-Montero, Maria , Bassegoda, Octavi , Schneider, Carolin V , Seraphin, Tobias , Paintsil, Ellis , Luedde, Tom , Lopez, Raquel Perez , Calderaro, Julien , Gilbert, Stephen , Marjot, Thomas , Spann, Ashley , Shawcross, Debbie Lindsay , Lens, Sabela , Trepo, Eric , Kather, Jakob Nikolas
Publication 2025-12

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.