Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments.

Ron van der Meyden

Browse the full TARK paper archive.