@inproceedings{9035a280a55c416097f6058df0c6f5ae,
title = "Probabilistic plan recognition under temporal logic tasks",
abstract = "In this paper, we consider the plan recognition problem in the real-time strategy game. A probabilistic plan recognition algorithm is proposed to predict the future goals and identify the temporal logic tasks of the non-cooperative agent based on the observations. In order to model the temporal logic tasks, the plan library is composed of the Finite Transition System and Nondeterministic B{\"u}chi Automation. Specially, we provide a unified framework to combine the plan recognition and the planning, and propose the probability calculation algorithm to calculate the posterior probability distribution of the goals and tasks. Finally, we verify the effectiveness of the proposed algorithm by the compared simulations.",
keywords = "B{\"u}chi Automation, Goal Prediction, Linear Temporal Logic, Probabilistic Plan Recognition",
author = "Wentao Yu and Hao Fang and Daiying Tian",
note = "Publisher Copyright: {\textcopyright} 2019 Technical Committee on Control Theory, Chinese Association of Automation.; 38th Chinese Control Conference, CCC 2019 ; Conference date: 27-07-2019 Through 30-07-2019",
year = "2019",
month = jul,
doi = "10.23919/ChiCC.2019.8866173",
language = "English",
series = "Chinese Control Conference, CCC",
publisher = "IEEE Computer Society",
pages = "7635--7640",
editor = "Minyue Fu and Jian Sun",
booktitle = "Proceedings of the 38th Chinese Control Conference, CCC 2019",
address = "United States",
}