Modelling and verification for swarm robotics
- Ana Cavalcanti*
- , Alvaro Miyazawa
- , Augusto Sampaio
- , Wei Li
- , Pedro Ribeiro
- , Jon Timmis
*Corresponding author for this work
- University of York
- Universidade Federal de Pernambuco
- Electronic Concepts and Engineering (United States)
Research output: Chapter in Book/Report/Conference proceeding › Conference Proceeding (ISBN)
9
Citations
(Scopus)