TY - CPAPER AU - Belardinelli,F AU - Lomuscio,A AU - Murano,A AU - Rubin,S PY - 2017/// TI - Verification of Multi-agent Systems with Imperfect Information and Public Actions ER -