Probabilistic Plan Recognition for Multi-Agent Systems under Temporal Logic Tasks
This paper studies the plan recognition problem of multi-agent systems with temporal logic tasks. The high-level temporal tasks are represented as linear temporal logic (LTL). We present a probabilistic plan recognition algorithm to predict the future goals and identify the temporal logic tasks of t...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI
2022
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher |