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
(Currently under review) Exploring Readers' Perception of (Gamified) Book Recommender Systems
par Parmentier, Juliette , Albert, Julien , Dumas, Bruno DB
Publication 2026-01
(Currently under review) “I Feel Like I’m Trapped”: Investigating the Filter Bubble From an HCI Perspective
par Albert, Julien , Parmentier, Juliette , Dumas, Bruno DB , Frénay, Benoît
Publication 2026-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.