Towards a formal verification methodology for collective robotic systems

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

Référence Lecture notes in computer science, 7635 LNCS, page (54-70)
Publication Publié, 2012

Article révisé par les pairs

Fichier(s) déposé(s) par l'encodeur

Towards applied swarm robotics: current limitations and enablers
par Kegeleirs, Miquel , Birattari, Mauro
Publication 2025
Heterogeneity Can Enhance the Adaptivity of Robot Swarms to Dynamic Environments
par Zakir, Raina , Salahshour, Mohammad , Dorigo, Marco , Reina, Andreagiovanni
Publication 2024-11-01
ANTS 2022 Special Issue: Editorial:ANTS 2022 Special Issue
par Dorigo, Marco , Hamann, Heiko , López-Ibáñez, Manuel , García-Nieto, José , Engelbrecht, Andries , Pinciroli, Carlo , Strobel, Volker , Camacho Villalon, Christian
Publication 2024-08-17
Automatic design of stigmergy-based behaviours for robot swarms
par Salman, Muhammad , Garzón Ramos, David , Birattari, Mauro
Publication 2024-06-01
Byzantine Fault Detection in Swarm-SLAM Using Blockchain and Geometric Constraints
par Moroncelli, Angelo , Pacheco, Alexandre , Strobel, Volker , Lajoie, Pierre Yves , Dorigo, Marco , Reina, Andreagiovanni
Publication 2024-11-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.