Model Checking Knowledge in Pursuit Evasion Games.

Xiaowei Huang, Patrick Maupin, Ron van der Meyden

Browse the full IJCAI paper archive.