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

Virtual Mass Tuning of Overhead Cranes
par Asani, Zemerart , Nicotra, Marco , Garone, Emanuele
Publication 2025-07-01
Automatic Design of Robot Swarms under Concurrent Design Criteria: A Study Based on Iterated F-Race
par Garzón Ramos, David , Birattari, Mauro , Pagnozzi, Federico , Stützle, Thomas
Publication 2024-10-14
Distributed Estimation and Selective Control of Epidemics Spreading Over Complex Networks
par Pezzutto, Matthias , Benhamouche, Ouassim , Rossello, Nicolas Bono , Garone, Emanuele
Publication 2025-07-01
The Travelling Schnauzer Problem: Mission planning for heterogeneous vehicles with distance constraints
par Garone, Emanuele , Bono Rossello, Nicolas , Pezzutto, Matthias , Nguyen, Tâm Willy
Publication 2025-07-01
Smart microfibre-enhanced 3D Textile Reinforced Cement (TRC) composites
par Gielis, Ciska , Tysmans, Tine , Snoeck, Didier
Publication 2025-10-16

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.