4 papers
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…
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…
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…
Combining Large Language Models and Symbolic Reasoning for Multi-Robot Temporal Planning through Explainable Knowledge Bases
Enrico Saccon, Matteo Saveriano, Ahmet Tikna +4
We present PLANTOR, a framework for generating and executing multi-robot task plans from natural-language task descriptions through LLM-assisted knowledge-base construction. The ap…