Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games.

Xiaowei Huang, Ron van der Meyden

Browse the full AAAI paper archive.