• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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