Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants.
Rocco De NicolaLuca Di StefanoOmar InversoSerenella ValianiPublished in: CMSB (2023)
Keyphrases
- formal analysis
- swarm intelligence
- collective behavior
- social insects
- ant colonies
- foraging behavior
- collective intelligence
- ant colony
- ant colony optimization
- formal methods
- artificial ants
- agent model
- qualitative models
- evolutionary computation
- swarm robotics
- foraging theory
- ban logic
- particle swarm optimization pso
- cellular automata
- metaheuristic
- building blocks
- computational intelligence
- software engineering
- artificial intelligence