Automated Verification of Epistemic Properties for General Game Playing.

Sebastian Haufe, Michael Thielscher

Browse the full KR paper archive.