@article{HK16,
author={Xiaowei Huang, Marta Kwiatkowska},
title={Model Checking Probabilistic Knowledge: A PSPACE Case},
booktitle={Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), to appear},
year={2016},
pages={}
}