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

Implementing Artificial Intelligence in Critical Care Medicine: a consensus of 22
par Cecconi, Maurizio , Greco, Massimiliano , Shickel, Benjamin , Angus, Derek , Bailey, Heatherlee , Bignami, Elena E.G. , Calandra, Thierry , Celi, Leo Anthony , Einav, Sharon , Elbers, Paul P.W.G. , Ercole, Ari , Gómez, Hernando , Gong, Michelle , Komorowski, Matthieu , Liu, Vincent V.X. , Park, Soojin , Sarwal, Aarti , Seymour, Christopherwarren , Zampieri, Fernando F.G. , Taccone, Fabio Silvio , Vincent, Jean Louis , Bihorac, Azra
Publication 2025-12
Response time analysis for sporadic tasks in uniprocessor fixed-priority scheduling with starting and resuming delays
par Barral, Hadrien , Abdeddaïm, Yasmina , Masson, Damien , Goossens, Joël
Publication 2025-11-05
Extending Periodic Task Sets with Sporadic Tasks: Computational Complexity and Exact Feasibility Tests
par Alkoudsi, Ibrahim , Baruah, Sanjoy , Ekberg, Pontus , Fohler, Gerhard , Goossens, Joël , Moslehi, Maryam
Publication 2025-11-05
GenAI, Original? Taking Copyright Seriously
par Cabay, Julien
Publication 2025-03-24
Towards applied swarm robotics: current limitations and enablers
par Kegeleirs, Miquel , Birattari, Mauro
Publication 2025

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.