Gerevini, Alfonso Emilio
7 publications
AAAI
2024
Dealing with Numeric and Metric Time Constraints in PDDL3 via Compilation to Numeric Planning
IJCAI
2024
Planning for Temporally Extended Goals in Pure-past Linear Temporal Logic (Extended Abstract)
7 publications