Property-driven design for robot swarms: A design method based on prescriptive modeling and model checking

Référence ACM transactions on autonomous and adaptive systems, 9, 4, page (1-28), 17
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, page (1-28), 17
Statut de publication:	Publié, 2014
Sujet CREF:	Intelligence artificielle
Mots-clés:	Aggregation
	Foraging
	Model checking
	Prescriptive modeling
	Swarm robotics
	Top-down design
Note générale:	SCOPUS: ar.j
Langue:	Anglais
Identificateurs:	urn:issn:1556-4665
	info:doi/10.1145/2700318
	info:scp/84925533477

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.