A Hennessy-Milner Theorem for ATL with Imperfect Information.

Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea

Browse the full LICS paper archive.