Verification of Emergent Behaviors in Swarm-based Systems.
Christopher A. RouffAmy VanderbiltMichael G. HincheyWalt TruszkowskiJames L. RashPublished in: ECBS (2004)
Keyphrases
- collective behavior
- real time
- asynchronous circuits
- data mining
- artificial intelligence
- formal methods
- cooperative
- management system
- complex systems
- particle swarm optimization
- finite state machines
- swarm intelligence
- model checking
- knowledge based systems
- computer systems
- distributed systems
- multi agent
- information systems
- neural network
- databases