Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B.
Linas LaibinisElena TroubitsynaZeineb GrajaFrédéric MigeonAhmed Hadj KacemPublished in: SEFM (2014)
Keyphrases
- cooperative
- formal methods
- event detection
- model checking
- formal analysis
- ant colony optimization
- formal specification
- data sets
- multi agent
- multi agent systems
- formal model
- game theory
- swarm intelligence
- events occurring
- asynchronous circuits
- qualitative models
- ant colony
- software engineering
- cooperative learning
- news articles
- distributed problem solving
- video event
- artificial ants
- artificial intelligence