Login / Signup
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