Verification of NASA emergent systems

This publication has 8 references indexed in Scilit:

• Formal approaches to intelligent swarms
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Experience using formal methods for specifying a multi-agent system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Ants and Agents: a Process Algebra Approach to Modelling Ant Colony Behaviour
  Bulletin of Mathematical Biology, 2001
• Swarm Smarts
  Scientific American, 2000
• Industrial-Strength Formal Methods in Practice
  Published by Springer Nature ,1999
• Self-organization in social insects
  Trends in Ecology & Evolution, 1997
• Communicating X-machines
  Information and Software Technology, 1996
• Communicating sequential processes
  Communications of the ACM, 1978