Skip to main content

Publications

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