Verifying agents with memory is harder than it seemed.
Nils BullingWojciech JamrogaPublished in: AI Commun. (2010)
Keyphrases
- multi agent systems
- multi agent
- multiagent systems
- intelligent agents
- software agents
- multiple agents
- cooperative
- autonomous agents
- resource allocation
- dynamic environments
- artificial agents
- agent cooperation
- agent systems
- agent based simulation
- past experience
- mechanism design
- memory usage
- game theoretic
- main memory
- mobile agents
- agent model
- decision making
- agent architecture
- single agent
- bounded rationality
- dynamically created
- np complete
- multi agent simulation
- heterogeneous agents
- resource bounded
- agent behavior
- model checking
- cognitive agents
- memory requirements
- computing power
- coalition formation