Publications

Failure Identification in Imitation Learning via Statistical and Semantic Filtering

Rolland, Q., Mayran de Chamisso, F., Mouret, J-B.

IEEE-RAS International Conference on Robotics and Automation 2026

Action classification methods for Autonomous Robotic Application based on Multimodal Data Process

Azrou, R., Damette, N., Huynh V.

IEEE COMPSAC 2026

Integrating Simulation and Verification to Assess Safety of Robot Control Software

Lampacrescia, M., Palmas, M., Ghiorzi, E., Henkel, C., Klauck, M., Tacchella, A.

40th International Conference on Simulation and Modelling, ECMS 2026

Collaborative Human-Robot Object Transportation Using a Deformable Sheet

Zhang, W., Street, G., Mansouri, M.

IEEE-RAS International Conference on Robotics and Automation, ICRA 2026

Translating Behavior Trees to Petri Nets for Model Checking

Palmas, M., Klauck, M., Lange, R., Ghiorzi, E., Tacchella A.

28th Conference on Model Driven Engineering, Languages and Systems, Models 2025

Surveying Deliberation Practices and Methodological Needs in Robotics Software Engineering

Klauck, M., Henkel, C., Lampacrescia, M., Jorgensen, G.

Towards Autonomous Robotic Systems: 26th Annual Conference, TAROS 2025

AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy

Henkel, C., Lampacrescia, M., Klauck, M., Morelli, M.

IEEE/RSJ International Conference on Intelligent Robots and Systems, 2025

Code Generation and Monitoring for Deliberation Components in Autonomous Robots

Bernagozzi, S., Faraci, S., Ghiorzi, E., Pedemonte, K., Natale, L., Tacchella A.

IEEE/RSJ International Conference on Intelligent Robots and Systems, 2025

Planning under Uncertainty from Behaviour Trees

Street, C., Grubb, O., Mansouri, M.

IEEE/RSJ International Conference on Intelligent Robots and Systems, 2025

Robots Calling the Shots: Using Multiple Ground Robots for Autonomous Tracking in Cluttered Environments

Zhang, W., Street, C., Mansouri M.

IEEE/RSJ International Conference on Intelligent Robots and Systems, 2025

Embodied Image Captioning: Self-supervised Learning Agents for Spatially Coherent Image Descriptions

Galliena, T., Apicella, T., Rosa, S., Morerio, P., Del Bue, Al. Natale, L.

Int. Conf. on Computer Vision, 2025

Multi-Nonholonomic Robot Object Transportation with Obstacle Crossing using a Deformable Sheet

Weijian Zhang, Charlie Street, Masoumeh Mansouri

IEEE-RAS International Conference on Robotics and Automation, 2025

Enhancing Robust Autonomy of ROS 2 Systems: Usable Formal Verification and Reinforcement Learning

Michaela Klauck, Marco Lampacrescia, Christian Henkel, Matteo Morelli

IEEE-RAS International Conference on Robotics and Automation: Workshop on Robotics Software Architectures, 2025

Enhancing Robust Autonomy of ROS 2 Systems: Code Generation and Monitoring for Deliberation Components

Stefano Bernagozzi, Sofia Faraci, Enrico Ghiorzi, Karim Pedemonte, Lorenzo Natale, Armando Tacchella

IEEE-RAS International Conference on Robotics and Automation: Workshop on Robotics Software Architectures, 2025

Model-based Verification and Monitoring for Safe and Responsive Robots

Stefano Bernagozzi, Sofia Faraci, Enrico Ghiorzi, Karim Pedemonte, Angelo Ferrando, Lorenzo Natale, Armando Tacchella

IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots, 2025

Making a Complete Mess and Getting Away with it: Traveling Salesperson Problems with Circle Placement Variants

David Woller, Masoumeh Mansouri, Miroslav Kulich

IEEE Robotics and Automation Letters 9(10), 2024

Covered for Life: Lifelong Area Coverage under Spatiotemporal Uncertainty

Charlie Street and Masoumeh Mansouri

European Conference on Artificial Intelligence, 2024

A decoupled solution to heterogeneous multi-formation planning and coordination for object transportation

Weijian Zhang,, Charlie Street and Masoumeh Mansouri

Robotics and Autonomous Systems, 2024

Towards Verifying Robotic Systems using Statistical Model Checking in STORM

Marco Lampacrescia, Michaela Klauck, Matteo Palmas

International Symposium on Leveraging Applications of Formal Methods, 2024

Towards a Verifiable Toolchain for Robotics

Charlie Street, Yazz Warsame, Masoumeh Mansouri, Michaela Klauck, Christian Henkel, Marco Lampacrescia, Matteo Palmas, Ralph Lange, Enrico Ghiorzi, Armando Tacchella, Razane Azrou, Raphaël Lallement, Matteo Morelli, Ginny I. Chen, Danielle Wallis, Stefano Bernagozzi, Stefano Rosa, Marco Randazzo, Sofia Faraci, Lorenzo Natale

AAAI Fall Symposium on Unifying Representations for Robot Application Development, 2024

Mind the Error! Detection and Localization of Instruction Errors in Vision-and-Language Navigation

Francesco Taioli, Stefano Rosa, Alberto Castellini, Lorenzo Natale, Alessio Del Bue, Alessandro Farinelli, Marco Cristani, Yiming Wang

IEEE/RSJ International Conference on Intelligent Robots and Systems 2024

I2EDL: Interactive Instruction Error Detection and Localization

Francesco Taioli, Stefano Rosa, Alberto Castellini, Lorenzo Natale, Alessio Del Bue, Alessandro Farinelli, Marco Cristani, Yiming Wang

IEEE International Conference on Robot and Human Interactive Communication, 2024

Execution Semantics of Behavior Trees in Robotic Applications

Enrico Ghiorzi and Armando Tacchella

Technical Report, 2024

Look Around and Learn : Self-Training Object Detection by Exploration

Gianluca Scarpellinii, Stefano Rosa, Natale, Pietro Morerio, and Alessio Del Bue

European Conference on Computer Vision, Milan, Italy, 2024

Perspective on Task and Motion Planning in Dynamic Environments

Mansouri, M., Street, C. and Warsame, Y.

European Robotics Forum, Rimini, Italy, 2024 (in press)

Towards Robust Autonomous Robots using Statistical Model Checking

Michaela Klauck, Ralph Lange, Christian Henkel, Selma Kchir, and Matteo Palmas

European Robotics Forum, Rimini, Italy, 2024 (in press)

Challenges in situation understanding and scene perception

Razane Azrou, Selma Kchir, Raphaël Lallement and Matteo Morellii

European Robotics Forum, Rimini, Italy, 2024 (in press)

Modeling Robot Control Architectures for Verification and Monitoring

Stefano Bernagozzi , Angelo Ferrando, Enrico Ghiorzi, Lorenzo Natale and Armando Tacchella

European Robotics Forum, Rimini, Italy, 2024 (in press)

Learning linear temporal properties for autonomous robotic systems

Ghiorzi, E., Colledanchise, M., Piquet, G., Tacchella, A., and Natale, L.

IEEE Robotics and Automation Letters 8(5), 2023

Formal Modelling for Multi‑Robot Systems Under Uncertainty

Street, C., Mansouri, M., Lacerda, B.

Current Robotics Reports 4, 2023

Multi-Formation Planning and Coordination for Object Transportation

Zhang, W., Street, C., Mansouri, M.

IEEE European Conference on Mobile Robots, Coimbra, Portugal, September 2023