3 papers
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.AI2025
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…
cs.RO2025
Fast Shortest Path Polyline Smoothing With Continuity and Bounded Curvature
Patrick Pastorelli, Simone Dagnino, Enrico Saccon +2
In this work, we propose a novel and efficient method for smoothing polylines in motion planning tasks. The algorithm applies to motion planning of vehicles with bounded curvature.…