Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Tiplea. A Hennessy-Milner Theorem for ATL with Imperfect Information.
35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), Jul 2020, Saarbrücken, Germany. pp.181--194,
⟨10.1145/3373718.3394784⟩.
⟨hal-02867538⟩