3 papers
cs.LG2026
Learning to Solve Orienteering Problem with Time Windows and Variable Profits
Songqun Gao, Zanxi Ruan, Patrick Floor +3
The orienteering problem with time windows and variable profits (OPTWVP) is common in many real-world applications and involves continuous time variables. Current approaches fail t…
cs.RO2025
Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications
Enrico Saccon, Davide De Martini, Matteo Saveriano +3
We present a novel framework that integrates Large Language Models (LLMs) with automated planning and formal verification to streamline the creation and use of Markov Decision Proc…
cs.RO2025
Extracting Visual Plans from Unlabeled Videos via Symbolic Guidance
Wenyan Yang, Ahmet Tikna, Yi Zhao +4
Visual planning, by offering a sequence of intermediate visual subgoals to a goal-conditioned low-level policy, achieves promising performance on long-horizon manipulation tasks. T…