no code implementations • 15 Apr 2024 • Daniele Meli
Online unsupervised detection of anomalies is crucial to guarantee the correct operation of cyber-physical systems and the safety of humans interacting with them.
no code implementations • 29 Feb 2024 • Daniele Meli, Alberto Castellini, Alessandro Farinelli
Partially Observable Markov Decision Processes (POMDPs) are a powerful framework for planning under uncertainty.
1 code implementation • 16 Mar 2023 • Giulio Mazzi, Daniele Meli, Alberto Castellini, Alessandro Farinelli
In this paper, we use inductive logic programming to learn logic specifications from traces of POMCP executions, i. e., sets of belief-action pairs generated by the planner.
no code implementations • 18 Jan 2023 • Daniele Meli, Hirenkumar Nakawala, Paolo Fiorini
In this manuscript, we present a survey on recent advances in the application of logic programming to the problem of task planning.
no code implementations • 18 May 2021 • Daniele Meli, Paolo Fiorini
Robot-assisted surgery is an established clinical practice.
no code implementations • 16 Jul 2020 • Andrea Roberti, Nicola Piccinelli, Daniele Meli, Riccardo Muradore, Paolo Fiorini
Calibration of the camera and the robot is necessary for precise positioning of the tools in order to emulate the high performance surgeons.
1 code implementation • 1 Jul 2020 • Michele Ginesi, Daniele Meli, Andrea Roberti, Nicola Sansonetto, Paolo Fiorini
In this work, we extend our previous work to include the velocity of the trajectory in the definition of the potential.
Robotics
no code implementations • 19 Apr 2020 • Michele Ginesi, Daniele Meli, Andrea Roberti, Nicola Sansonetto, Paolo Fiorini
The framework consists of a task-level reasoning module based on answer set programming, a low-level motion planning module based on dynamic movement primitives, and a situation awareness module.