The Power of Verification for One-Parameter Agents.
Vincenzo AulettaRoberto De PriscoPaolo PennaGiuseppe PersianoPublished in: ICALP (2004)
Keyphrases
- multi agent systems
- multi agent
- multiagent systems
- multiple agents
- software agents
- intelligent agents
- cooperative
- dynamic environments
- autonomous agents
- agent architecture
- agent interactions
- agent systems
- agent based simulation
- power consumption
- agent communication
- parameter values
- mobile agents
- multi agent simulation
- coalition formation
- resource bounded
- decision theoretic
- model checking
- input parameters
- face verification
- artificial agents
- agent model
- bounded rationality
- heterogeneous agents
- interacting agents
- agent cooperation
- social welfare
- single agent
- mechanism design
- reasoning process
- genetic algorithm
- complex environments
- utility function
- complex systems
- wireless sensor networks
- decision making