Model checking knowledge in pursuit-evasion games (2011)

by X Huang, P Maupin, R van der Meyden
Venue:In Int. Joint Conf. on Artificial Intelligence, IJCAI’11