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

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
Advancing swarm robotics through software engineering
par Bozhinoski, Darko , Birattari, Mauro
Publication 2024

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.