On Formal Specification of Emergent Behaviours in Swarm Robotic Systems

by Alan FT Winfield, Jin Sa, Mari-Carmen Fernández-Gago, Clare Dixon, Michael Fisher
Published 2005-12-01

On Formal Specification of Emergent Behaviours in Swarm Robotic Systems

by Clare Dixon, Jin Sa, Alan FT Winfield, Michael Fisher, Mari-Carmen Fernandez-Gago
Published 2008-11-01