7 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…
Force-Based Viscosity and Elasticity Measurements for Material Biomechanical Characterisation with a Collaborative Robotic Arm
Luca Beber, Edoardo Lamon, Giacomo Moretti +4
Diagnostic activities, such as ultrasound scans and palpation, are relatively low-cost. They play a crucial role in the early detection of health problems and in assessing their pr…
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…