2 papers
cs.RO2026
PDDL-ART: Autonomous Symbolic Abstraction From Demonstration For Long-Horizon Robotic Manipulation Using Vision-Language Models
Disha Kamale, Dmitry Berenson
Symbolic planning with PDDL offers a principled framework for long-horizon robot manipulation, but constructing accurate PDDL domain and problem descriptions remains a significant…
cs.RO2025
A*-based Temporal Logic Path Planning with User Preferences on Relaxed Task Satisfaction
Disha Kamale, Xi Yu, Cristian-Ioan Vasile
In this work, we consider the problem of planning for temporal logic tasks in large robot environments. When full task compliance is unattainable, we aim to achieve the best possib…