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.RO2025
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…
cs.CV2025
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…