Robot Choreographies: Artificial Evolution between Novelty and Similarity. - Mattia Barbaresi; Stefano Bernagozzi; Andrea Roli (AIRO@AI*IA, 2020)

Tour guide robot: a 5G-enabled robot museum guide. - Stefano Rosa; Marco Randazzo; Ettore Landini; Stefano Bernagozzi; Giancarlo Sacco; Mara Piccinino; Lorenzo Natale (Frontiers Robotics AI, 2023)

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)

Modeling Robot Control Architectures for Verification and Monitoring. - Stefano Bernagozzi; Angelo Ferrando 001; Enrico Ghiorzi; Lorenzo Natale; Armando Tacchella (ERF (2), 2024)

Model-based Verification and Monitoring for Safe and Responsive Robots. - Stefano Bernagozzi; S. Faraci; Enrico Ghiorzi; K. Pedemonte; A. Ferrando; Lorenzo Natale; Armando Tacchella (SIMPAR, 2025)

Socially Assistive Robot to Administer and Assess the Timed Up and Go Test: A Feasibility Study. - Carmela Calabrese; Valerio Gower; Mattia Randazzo; Marco Randazzo; Francesco Brand; Fabiola Giovanna Mestanza Mattos; Federico Spinelli; Mattia Fussi; Ettore Landini; Stefano Bernagozzi; Lorenzo Natale (Int. J. Soc. Robotics, 2025)