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

Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone

Browse the full AAAI paper archive.