Old Web
English
Sign In
Acemap
>
Paper
>
On the Formal Specification of Emergent Behaviours of Swarm Robotics Systems
On the Formal Specification of Emergent Behaviours of Swarm Robotics Systems
2005
Alan F. T. Winfield
Jin Sa
Carmen Fernandez-Gago
Clare Dixon
Michale Fisher
Keywords:
Computer science
Simulation
Formal specification
Swarm robotics
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
12
Citations
NaN
KQI
[]