Modelling and Verification for Swarm Robotics.

Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis

Browse the full IFM paper archive.