The Computational Complexity of Agent Verification.
Michael J. WooldridgePaul E. DunnePublished in: ATAL (2001)
Keyphrases
- computational complexity
- multi agent systems
- multi agent
- np complete
- multiagent systems
- autonomous agents
- intelligent agents
- agent model
- high computational complexity
- multiple agents
- agent architecture
- decision making
- model checking
- software agents
- low complexity
- decision problems
- mobile agents
- np hard
- interface agent
- interacting agents
- conversational agent
- special case
- agent oriented
- agent systems
- dynamic environments
- decision theoretic
- storage requirements
- computational cost
- motion estimation
- virtual agents
- artificial agents
- computationally efficient
- cooperating agents
- agent environment
- rate distortion