Verifying Large Numbers of Cooperating Adaptive Agents.
Christopher A. RouffMichael G. HincheyWalt TruszkowskiJames L. RashPublished in: ICPADS (1) (2005)
Keyphrases
- adaptive behavior
- multi agent
- cooperative
- multi agent systems
- autonomous agents
- multiple agents
- multiagent systems
- intelligent agents
- agent architecture
- dynamic environments
- agent model
- artificial agents
- incomplete information
- software agents
- distributed agents
- dynamic logic
- interacting agents
- dynamically created
- artificial intelligence
- agent technology
- model checking
- mobile agents
- reinforcement learning
- decision making
- coalition formation
- agent systems
- logical framework
- virtual characters
- cognitive agents
- trust model
- artificial societies
- neural network
- communicating agents
- cooperative multiagent systems