Conghua Zhou, Bo Sun, Zhifeng Liu. Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge. In Fu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei, editors, Artificial Intelligence and Computational Intelligence - International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I. Volume 6319 of Lecture Notes in Computer Science, pages 209-221, Springer, 2010. [doi]
Abstract is missing.