Login / Signup

Verifying space and time requirements for resource-bounded agents.

Natasha AlechinaMark JagoPiergiorgio BertoliBrian LoganChiara GhidiniLuciano Serafini
Published in: AAMAS (2006)
Keyphrases
  • resource bounded
  • information gathering
  • autonomous agents
  • meta level
  • rational agents
  • model checking
  • cooperative
  • dynamic environments
  • multiagent systems
  • resource allocation