Automated Verification of Epistemic Properties for General Game Playing

Open in new window