A Hybrid-System Formalism to Verify Properties of Robot Swarms

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Référence 41st Benelux Meeting on Systems and Control(5-7 July 2022: Brussels, Belgium), page (46)
Publication Publié, 2022-07-05

Abstract de conférence

Titre:	A Hybrid-System Formalism to Verify Properties of Robot Swarms
Auteur:	Legarda Herranz, Guillermo; Garone, Emanuele; Birattari, Mauro
Informations sur la publication:	41st Benelux Meeting on Systems and Control(5-7 July 2022: Brussels, Belgium), page (46)
Statut de publication:	Publié, 2022-07-05
Sujet CREF:	Sciences de l'ingénieur
Langue:	Anglais

BRIC: an interactive smart object for swarm robotics research
par Legarda Herranz, Guillermo , Rochala, Piotr , Georgiopoulou, Petroula , Ligot, Antoine , Salman, Muhammad , Birattari, Mauro
Publication 2022-11-01
Tycho: a robust, ROS-based tracking system for robot swarms
par Legarda Herranz, Guillermo , Garzón Ramos, David , Kuckling, Jonas , Kegeleirs, Miquel , Birattari, Mauro
Publication 2022-09-01
Decentralised Negotiation for Multi-Object Collective Transport with Robot Swarms
par Legarda Herranz, Guillermo , Hauert, Sabine , Jones, Simon
Publication 2022-06-01
Mercator: hardware and software architecture for experiments in swarm SLAM
par Kegeleirs, Miquel , Todesco, Raffaele T.R. , Garzón Ramos, David , Legarda Herranz, Guillermo , Birattari, Mauro
Publication 2022-11-20
Full-Scale Prototype for Bricklaying Activity
par Ambrosino, Michele , Garone, Emanuele
Publication 2023-07-07

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.