Login / Signup

An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information.

Francesco BelardinelliAlessio LomuscioVadim Malvone
Published in: AAAI (2019)
Keyphrases
  • multi agent systems
  • computational complexity
  • dynamic programming
  • imperfect information
  • multi agent
  • cooperative
  • statistically significant
  • matching algorithm