The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time.

Xiaowei Huang, Ron van der Meyden

Browse the full ECAI paper archive.