ML Anthology

Model Checking Knowledge in Pursuit Evasion Games

Xiaowei Huang, Patrick Maupin, Ron van der Meyden
IJCAI 2011 pp. 240-245
doi:10.5591/978-1-57735-516-8/IJCAI11-051 /ijcai/2011/huang2011ijcai-model/
IJCAI Semantic Scholar

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-051

Markdown

[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-051

BibTeX

@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/}
}