Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games

Authors

  • Xiaowei Huang University of New South Wales
  • Ron van der Meyden University of New South Wales

DOI:

https://doi.org/10.1609/aaai.v26i1.8228

Keywords:

Synthesis, Model Checking, Logic of Knowledge

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.

Downloads

Published

2021-09-20

How to Cite

Huang, X., & van der Meyden, R. (2021). Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games. Proceedings of the AAAI Conference on Artificial Intelligence, 26(1), 772-778. https://doi.org/10.1609/aaai.v26i1.8228

Issue

Section

AAAI Technical Track: Knowledge Representation and Reasoning