The Power of Verification for One-Parameter Agents.

Vincenzo Auletta Roberto De Prisco Paolo Penna Giuseppe Persiano

Published 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