The power of verification for one-parameter agents.
Vincenzo AulettaRoberto De PriscoPaolo PennaGiuseppe PersianoPublished in: J. Comput. Syst. Sci. (2009)
Keyphrases
- multi agent systems
- multi agent
- multiagent systems
- software agents
- multiple agents
- cooperative
- agent systems
- artificial agents
- power consumption
- intelligent agents
- mobile agents
- agent architecture
- resource bounded
- game theoretic
- decision making
- incomplete information
- autonomous agents
- parameter values
- communicating agents
- reactive agents
- input parameters
- interacting agents
- model checking
- complex systems
- resource allocation
- agent based simulation
- cognitive agents
- agent interactions
- single agent
- formal methods
- agent model
- parameter space