Author:
Publication: Artificial Intelligence
Approximate verification of strategic abilities under imperfect information
From iterated revision to iterated contraction: Extending the Harper Identity