---
title: "Model Checking Knowledge in Pursuit Evasion Games"
authors:
  - "Xiaowei Huang"
  - "Patrick Maupin"
  - "Ron van der Meyden"
doi: "10.5591/978-1-57735-516-8/IJCAI11-051"
url: "https://ijcai.org/proceedings/2011/51"
pdf: "https://ijcai.org/proceedings/2011/0051.pdf"
venue: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"
year: 2011
pages: "240-244"
track: ""
keywords:
---

# Model Checking Knowledge in Pursuit Evasion Games

Xiaowei Huang, Patrick Maupin, Ron van der Meyden

*Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence*, pages 240-244. DOI: [10.5591/978-1-57735-516-8/IJCAI11-051](https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-051)

## 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.