research
∙
06/14/2023
Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models
Goal Recognition is the task of discerning the correct intended goal tha...
share
research
∙
04/21/2022
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning
We study temporally extended goals expressed in Pure-Past LTL (PPLTL). P...
research
∙
03/22/2021
Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models
Goal Recognition is the task of discerning the correct intended goal tha...
research
∙
04/15/2020