Enrico Ghiorzi — accepted AI-conference papers

2025

Code Generation and Monitoring for Deliberation Components in Autonomous Robots

Stefano Bernagozzi, S. Faraci, Enrico Ghiorzi, K. Pedemonte, Lorenzo Natale, Armando Tacchella

IROS 2025

Hand-coded deliberation components are prone to flaws that may not be discovered before deployment and that can be harmful to the robot and its execution environment, including the people within it. To reduce development effort and at the same time increase confidence in robot’s safety, we propose t

Cited by 0 Source ↗Scholar ↗

2023

Learning Linear Temporal Properties for Autonomous Robotic Systems

Enrico Ghiorzi, Michele Colledanchise, Gianluca Piquet, Stefano Bernagozzi, Armando Tacchella, Lorenzo Natale

RA-L 2023

The problem of passive learning of linear temporal logic formulae consists in finding the best explanation for how two sets of execution traces differ, in the form of the shortest formula that separates the two sets. We approach the problem by implementing an exhaustive search algorithm optimized fo

Cited by 6 Source ↗Scholar ↗