AAAI Publications, Twenty-Sixth AAAI Conference on Artificial Intelligence

Font Size: 
Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games
Xiaowei Huang, Ron van der Meyden

Last modified: 2012-07-14


The paper identifies a special case in which the complex problem of synthesis from specifications in temporal-epistemic logic can be reduced to the simpler problem of model checking such specifications. An application is given of strategy synthesis in pursuit-evasion games, where one or more pursuers with incomplete information aim to discover theexistence of an evader. Experimental results are provided to evaluate the feasibility of the approach.


Synthesis; Model Checking; Logic of Knowledge

Full Text: PDF