Model Checking Knowledge and Linear Time: PSPACE Cases.

Kai Engelhardt, Peter Gammie, Ron van der Meyden

Browse the full LFCS paper archive.