6 papers
Trajectory-Safe Orienteering for Human-Robot Shared Environments
Songqun Gao, Elena Basei, Marco Roveri +2
Orienteering problem (OP) has wide real-world applications and also great potential in human-robot collaboration. However, existing approaches struggle to simultaneously ensure saf…
VLMs Can Describe, But Not Measure: Object-Centric Scene Understanding for Robotic Manipulation
Enrico Saccon, Tommaso Faraci, Iñigo De La Ossa Zarzuelo +3
Robotic operation in previously unseen environments requires both semantic understanding and reliable metric information. While vision--language models (VLMs) provide strong semant…
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, Edoardo Lamon +2
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…