par Brambilla, Manuele Cliquez pour télécharger la liste de publications de l'auteur; Brutschy, Arne Liste de publications; Dorigo, Marco Liste de publications; Birattari, Mauro Liste de publications
Référence ACM transactions on autonomous and adaptive systems, 9, 4, 17, (page 1-28)
Publication Publié, 2014
Article révisé par les pairs
Titre :
  • Property-driven design for robot swarms: A design method based on prescriptive modeling and model checking
Auteur : Brambilla, Manuele ; Brutschy, Arne ; Dorigo, Marco ; Birattari, Mauro
Informations sur la publication : ACM transactions on autonomous and adaptive systems, 9, 4, 17, (page 1-28)
Statut de publication : Publié, 2014
Sujet CREF : Intelligence artificielle
Mots-clés : Aggregation
Foraging
Model checking
Prescriptive modeling
Swarm robotics
Top-down design
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:1556-4665 
info:doi/10.1145/2700318