Francesco Belardinelli, Alessio Lomuscio. Agent-based abstractions for verifying alternating-Time temporal logic with imperfect information.
16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), May 2017, Sao Paulo, Brazil. pp.1259--1267.
⟨hal-01796377⟩