F. Belardinelli, A. Lomuscio, and V. Malvone, “An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information”, AAAI, vol. 33, no. 01, pp. 6030-6037, Jul. 2019.