Thèse de doctorat
Titre:
  • Formal methods for the design and analysis of robot swarms
Auteur:Brambilla, Manuele
Président du jury:Bersini, Hugues
Promoteur:Dorigo, Marco; Birattari, Mauro
Membre du jury:Hamann, Heiko H.; Garone, Emanuele; O'Grady, Rehan; Wirsing, Martin
Informations sur la publication: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
Langue:Anglais
Anneé académique:2013-2014
Identificateurs:bictel.ulb.ac.be:ULBetd-04292014-123814
ulbcat.ulb.ac.be:1075140