Model Checking Knowledge in Pursuit Evasion Games
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 240-244.
Abstract
In a pursuit-evasion game, one or more pursuers aim to discover the existence of, and then capture, an evader. The paper studies pursuit-evasion games in which players may have incomplete information concerning the game state. A methodology is presented for the application of a model checker for the logic of knowledge and time to verify epistemic properties in such games. Experimental results are provided from a number of case studies that validate the feasibility of the approach.
Xiaowei Huang, Patrick Maupin, and Ron van der Meyden. 2011. Model Checking Knowledge in Pursuit Evasion Games. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 240–244. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-051
Huang, X., Maupin, P., & van der Meyden, R. (2011). Model Checking Knowledge in Pursuit Evasion Games. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 (pp. 240–244). IJCAI. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-051
@inproceedings{ijcai2011p51,
title = {Model Checking Knowledge in Pursuit Evasion Games},
author = {Huang, Xiaowei and Maupin, Patrick and van der Meyden, Ron},
booktitle = {Proceedings of the Twenty-Second International Joint Conference on
Artificial Intelligence, {IJCAI-11}},
publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
editor = {Toby Walsh},
pages = {240--244},
year = {2011},
month = {7},
doi = {10.5591/978-1-57735-516-8/IJCAI11-051},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-051},
}
TY - CPAPER TI - Model Checking Knowledge in Pursuit Evasion Games AU - Huang, Xiaowei AU - Maupin, Patrick AU - van der Meyden, Ron T2 - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 PB - AAAI Press/International Joint Conferences on Artificial Intelligence PY - 2011 SP - 240 EP - 244 DO - 10.5591/978-1-57735-516-8/IJCAI11-051 UR - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-051 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
