{"type":"ScholarlyArticle","title":"Model Checking Knowledge in Pursuit Evasion Games","authors":[{"name":"Xiaowei Huang","slug":"xiaowei-huang","given":"Xiaowei","family":"Huang","affiliation":""},{"name":"Patrick Maupin","slug":"patrick-maupin","given":"Patrick","family":"Maupin","affiliation":""},{"name":"Ron van der Meyden","slug":"ron-van-der-meyden","given":"Ron","family":"van der Meyden","affiliation":""}],"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.","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","markdown":"https://ijcai.org/proceedings/2011/51.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/51","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":51,"pages":{"first":240,"last":244},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}