Skip to main content

Publications

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

Towards Robust Autonomous Robots using Statistical Model Checking

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

European Robotics Conference, Rimini, Italy, 2024

Challenges in situation understanding and scene perception

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

European Robotics Conference, Rimini, Italy, 2024

Modeling Robot Control Architectures for Verification and Monitoring

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

European Robotics Conference, Rimini, Italy, 2024

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

I2EDL: Interactive Instruction Error Detection and Localization