Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone. An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information.
33rd AAAI Conference on Artificial Intelligence (AAAI 2019), Jan 2019, Hawai, United States. pp.6030--6037,
⟨10.1609/aaai.v33i01.33016030⟩.
⟨hal-02377457⟩