Login / Signup
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information.
Francesco Belardinelli
Alessio Lomuscio
Vadim Malvone
Published in:
AAAI (2019)
Keyphrases
</>
multi agent systems
computational complexity
dynamic programming
imperfect information
multi agent
cooperative
statistically significant
matching algorithm