TY  - RPRT
TI  - A Hennessy-Milner Theorem for ATL with Imperfect Information
AU  - Francesco Belardinelli
AU  - Catalin Dima
AU  - Vadim Malvone
AU  - Ferucio Tiplea
PY  - 2020
UR  - https://arxiv.org/abs/2006.15000
ID  - 2006.15000
ER  -