Skip to main content

Research Repository

Advanced Search

On formal specification of emergent behaviours in swarm robotic systems

Winfield, Alan F.T.; Sa, Jin; Fernandez-Gago, Mari-Carmen; Dixon, Clare; Fisher, Michael


Jin Sa

Mari-Carmen Fernandez-Gago

Clare Dixon

Michael Fisher


Winfield, A. F., Sa, J., Fernandez-Gago, M., Dixon, C., & Fisher, M. (2005). On formal specification of emergent behaviours in swarm robotic systems. International Journal of Advanced Robotic Systems, 2(4), 363-370.

Journal Article Type Article
Publication Date Nov 7, 2005
Journal International Journal of Advanced Robotic Systems
Print ISSN 1729-8806
Publisher SAGE Publications (UK and US)
Peer Reviewed Peer Reviewed
Volume 2
Issue 4
Pages 363-370
Keywords emergent behaviours, swarm robotic systems
Public URL
Publisher URL
Additional Information Additional Information : This paper was initially presented (following full paper review) at the Towards Autonomous Robotic Systems (TAROS) conference at Imperial College, Sept 2005. A revised version of the paper was submitted to a special journal issue of selected revised TAROS papers and accepted following further full paper review. The work, in collaboration with Michael Fisher and co-workers at the Liverpool Verification Laboratory, Univ of Liverpool, develops what is believed to be the world's first (i.e. original) use of a formal logic to specify the properties, including emergent behaviours, of a robotic swarm. The work is significant because future real-world application of robotic swarms will require rigorous methods for validation of correct behaviour.


On_Formal_Specification_of_Emergent_Behaviours_in_Swarm_Robotic_Systems[1].pdf (380 Kb)

You might also like

Downloadable Citations