Learning Linear Temporal Properties for Autonomous Robotic Systems. - Enrico Ghiorzi; Michele Colledanchise; Gianluca Piquet; Stefano Bernagozzi; Armando Tacchella; Lorenzo Natale (IEEE Robotics Autom. Lett., 2023)