Model Checking Knowledge in Pursuit

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… (More)

Topics

4 Figures and Tables

Cite this paper

@inproceedings{Games2011ModelCK, title={Model Checking Knowledge in Pursuit}, author={Evasion Games and Xiaowei Huang and Patrick Maupin and Ron van der Meyden}, year={2011} }