Verifying agents with memory is harder than it seemed.
Nils BullingWojciech JamrogaPublished in: AAMAS (2010)
Keyphrases
- multi agent
- multi agent systems
- multiagent systems
- intelligent agents
- multiple agents
- autonomous agents
- cooperative
- np complete
- software agents
- agent architecture
- mobile agents
- agent systems
- np hard
- artificial agents
- reasoning process
- agent model
- reactive agents
- decision making
- memory requirements
- dynamic environments
- neural network
- agent behavior
- memory management
- agent based simulation
- memory space
- single agent
- multi agent simulation
- model checking
- minority game
- bounded rationality
- communicating agents
- dynamic logic
- resource bounded
- agent communication
- agent cooperation
- memory size
- cooperative multiagent systems
- learning agents
- agent interactions
- limited memory
- past experience
- computing power
- game theoretic
- agent technology
- trust model
- incomplete information
- information processing
- optimal solution