Properties of a formal method for prediction of emergent behaviors in swarm-based systems
- 8 November 2004
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Verification of NASA emergent systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Formal approaches to intelligent swarmsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- ANTS for Human Exploration and Development of SpacePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Onboard science software enabling future space science and space weather missionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The concept of cellular robotic systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Ants and Agents: a Process Algebra Approach to Modelling Ant Colony BehaviourBulletin of Mathematical Biology, 2001
- Swarm SmartsScientific American, 2000
- Self-organization in social insectsTrends in Ecology & Evolution, 1997
- Formal methodsACM Computing Surveys, 1996
- X-machines as a basis for dynamic system specificationSoftware Engineering Journal, 1988