Huang, X.; Kwiatkowska, M. Model Checking Probabilistic Knowledge: A PSPACE Case. AAAI 2016, 30.