Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin. Imperfect Information in Alternating-Time Temporal Logic on Finite Traces.
22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2019), Oct 2019, Turin, Italy. pp.469--477,
⟨10.1007/978-3-030-33792-6_31⟩.
⟨hal-02424595⟩