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

Property-driven Design for Swarm Robotics
par Brambilla, Manuele , Pinciroli, Carlo , Birattari, Mauro , Dorigo, Marco
Publication IFAAMAS, 2012
Swarm robotics
par Dorigo, Marco , Birattari, Mauro , Brambilla, Manuele
Publication 2014
Self-organized task allocation to sequentially interdependent tasks in swarm robotics
par Brutschy, Arne , Pini, Giovanni , Pinciroli, Carlo , Birattari, Mauro , Dorigo, Marco
Publication 2014
ARGoS: Un simulatore modulare e multi-motore per sistemi multi-robot
par Pinciroli, Carlo , Birattari, Mauro , Dorigo, Marco
Publication 2014
Swarm Intelligence, 9th International Conference, ANTS 2016
par Dorigo, Marco , Birattari, Mauro , Li, Xiaodong , López-Ibáñez, Manuel , Ohkura, Kazuhiro , Pinciroli, Carlo , Stützle, Thomas
Publication 2016

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.

Conditions d'utilisation - Version : 4.1 (2019)

Exporter la liste de :

Loading scholar E-mail ...

Export bibliographie

Format de fichier :

Depuis :

Jusqu'à :

Inclure les références sans date :

Trier par :

Rôles :

Inclure les liens vers le texte intégral :

Oui (Non est la valeur par défaut)

Inclure l'abstract:

Oui (Non est la valeur par défaut)