Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games
Abstract
The paper identifies a special case in which the complex problem of synthesis from specifications in temporal-epistemic logic can be reduced to the simpler problem of model checking such specifications. An application is given of strategy synthesis in pursuit-evasion games, where one or more pursuers with incomplete information aim to discover theexistence of an evader. Experimental results are provided to evaluate the feasibility of the approach.
Cite
Text
Huang and van der Meyden. "Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games." AAAI Conference on Artificial Intelligence, 2012. doi:10.1609/AAAI.V26I1.8228Markdown
[Huang and van der Meyden. "Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games." AAAI Conference on Artificial Intelligence, 2012.](https://mlanthology.org/aaai/2012/huang2012aaai-synthesizing/) doi:10.1609/AAAI.V26I1.8228BibTeX
@inproceedings{huang2012aaai-synthesizing,
title = {{Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games}},
author = {Huang, Xiaowei and van der Meyden, Ron},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2012},
pages = {772-778},
doi = {10.1609/AAAI.V26I1.8228},
url = {https://mlanthology.org/aaai/2012/huang2012aaai-synthesizing/}
}