Verification of emergent behaviors in swarm-based systems
- 12 November 2004
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Experience using formal methods for specifying a multi-agent systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Ants and Agents: a Process Algebra Approach to Modelling Ant Colony BehaviourBulletin of Mathematical Biology, 2001
- Industrial-Strength Formal Methods in PracticePublished by Springer Nature ,1999
- Self-organization in social insectsTrends in Ecology & Evolution, 1997
- Towards a formal description of intracellular biochemical organizationComputers & Mathematics with Applications, 1990
- Communicating sequential processesCommunications of the ACM, 1978