Thèse de doctorat
Titre :
  • Formal methods for the design and analysis of robot swarms
Auteur : Brambilla, Manuele
Pourvoyeur de diplôme : Universite Libre de Bruxelles
Président du jury : Bersini, Hugues
Membre du jury : Hamann, Heiko H. ; Garone, Emanuele ; O'Grady, Rehan ; Wirsing, Martin
Promoteur : Dorigo, Marco ; Birattari, Mauro
Editeur : Université libre de Bruxelles, Ecole polytechnique de Bruxelles – Informatique, Bruxelles
Date de défense :
  • 2014-04-28
Sujet CREF : Informatique générale
Mots-clés : Artificial intelligence
Swarm intelligence
Robotics
Intelligence artificielle
Intelligence collective
Robotique
robotics
swarm robotics
artificial intelligence
formal methods
Intitulé du diplôme :
  • Doctorat en Sciences de l'ingénieur
Note : info:eu-repo/semantics/nonPublished
Langue :
  • Anglais
Identificateurs : bictel.ulb.ac.be:ULBetd-04292014-123814
ulbcat.ulb.ac.be:1075140