Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning., , and . CoRR, (2022)Pure-Past Linear Temporal and Dynamic Logic on Finite Traces., , , and . IJCAI, page 4959-4965. ijcai.org, (2020)Survey track.Temporally extended goal recognition in fully observable non-deterministic domain models., , , and . Appl. Intell., 54 (1): 470-489 (January 2024)Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models., , and . CoRR, (2021)A tool for declarative Trace Alignment via automated planning., , , , and . Softw. Impacts, (May 2023)FOND Planning for LTLf and PLTLf Goals.. CoRR, (2020)Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction., , , , and . AAAI, page 23775-23777. AAAI Press, (2024)Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic., , , , , and . ICAPS, page 61-69. AAAI Press, (2023)Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models., , , and . CoRR, (2023)NL2LTL - a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas., and . AAAI, page 16428-16430. AAAI Press, (2023)