Xiaowei Huang, Cheng Luo, Ron van der Meyden. Symbolic model checking of probabilistic knowledge. In Krzysztof R. Apt, editor, Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011. pages 177-186, ACM, 2011. [doi]
Abstract is missing.