van der Meyden, Ron

4 publications

AAAI 2014 Symbolic Model Checking Epistemic Strategy Logic Xiaowei Huang, Ron van der Meyden

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

IJCAI 2011 Model Checking Knowledge in Pursuit Evasion Games Xiaowei Huang, Patrick Maupin, Ron van der Meyden

IJCAI 1991 Indefinite Reasoning with Definite Rules L. Thorne McCarty, Ron van der Meyden