Approximating Perfect Recall When Model Checking Strategic Abilities.

Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone

Browse the full KR paper archive.