Belardinelli, F.; Lomuscio, A.; Malvone, V. An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems With Imperfect Information. AAAI 2019, 33, 6030-6037.