Model Checking Knowledge in Pursuit Evasion Games
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.
Cite
Text
Huang et al. "Model Checking Knowledge in Pursuit Evasion Games." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-051Markdown
[Huang et al. "Model Checking Knowledge in Pursuit Evasion Games." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/huang2011ijcai-model/) doi:10.5591/978-1-57735-516-8/IJCAI11-051BibTeX
@inproceedings{huang2011ijcai-model,
title = {{Model Checking Knowledge in Pursuit Evasion Games}},
author = {Huang, Xiaowei and Maupin, Patrick and van der Meyden, Ron},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2011},
pages = {240-245},
doi = {10.5591/978-1-57735-516-8/IJCAI11-051},
url = {https://mlanthology.org/ijcai/2011/huang2011ijcai-model/}
}