Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications

Open in new window