6 papers
Autonomous Robotic Tissue Palpation and Abnormalities Characterisation via Ergodic Exploration
Luca Beber, Edoardo Lamon, Matteo Saveriano +2
We propose a novel autonomous robotic palpation framework for real-time elastic mapping during tissue exploration using a viscoelastic tissue model. The method combines force-based…
An Anatomy-Aware Shared Control Approach for Assisted Teleoperation of Lung Ultrasound Examinations
Davide Nardi, Edoardo Lamon, Daniele Fontanelli +2
Although fully autonomous systems still face challenges due to patients' anatomical variability, teleoperated systems appear to be more practical in current healthcare settings. Th…
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…
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…
Surface Defect Identification using Bayesian Filtering on a 3D Mesh
Matteo Dalle Vedove, Matteo Bonetto, Edoardo Lamon +3
This paper presents a CAD-based approach for automated surface defect detection. We leverage the a-priori knowledge embedded in a CAD model and integrate it with point cloud data a…
MeshDMP: Motion Planning on Discrete Manifolds using Dynamic Movement Primitives
Matteo Dalle Vedove, Fares J. Abu-Dakka, Luigi Palopoli +2
An open problem in industrial automation is to reliably perform tasks requiring in-contact movements with complex workpieces, as current solutions lack the ability to seamlessly ad…