Login / Signup

Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods.

Amelia BadicaCostin Badica
Published in: AIMSA (2008)
Keyphrases
  • formal verification
  • multi agent systems
  • significant improvement
  • feature selection
  • multi agent
  • cooperative
  • dynamic environments
  • multiagent systems
  • resource allocation
  • software agents
  • agent model
  • multiple agents