Search Results for author:
Found 8 papers, 2 papers with code
Explainable Online Unsupervised Anomaly Detection for Cyber-Physical Systems via Causal Discovery from Time Series
Online unsupervised detection of anomalies is crucial to guarantee the correct operation of cyber-physical systems and the safety of humans interacting with them.
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
Partially Observable Markov Decision Processes (POMDPs) are a powerful framework for planning under uncertainty.
Learning Logic Specifications for Soft Policy Guidance in POMCP
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.
Logic programming for deliberative robotic task planning
In this manuscript, we present a survey on recent advances in the application of logic programming to the problem of task planning.
Unsupervised identification of surgical robotic actions from small non homogeneous datasets
Robot-assisted surgery is an established clinical practice.
Improving rigid 3D calibration for robotic surgery
Calibration of the camera and the robot is necessary for precise positioning of the tools in order to emulate the high performance surgeons.
Dynamic Movement Primitives: Volumetric Obstacle Avoidance Using Dynamic Potential Functions
In this work, we extend our previous work to include the velocity of the trajectory in the definition of the potential.
Robotics
Autonomous task planning and situation awareness in robotic surgery
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.
