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

Open in new window