Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information