ML Anthology

Maupin, Patrick

1 publications

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