Login / Signup

Towards a refinement theory that supports reasoning about knowledge and time for multiple agents.

Kai Engelhardt
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • multiple agents
  • multi agent
  • single agent
  • decision making
  • multi agent coordination
  • general theory
  • information systems
  • reinforcement learning
  • formal theory