Max Robotics — Global Service Robot Directory + US Certification

About

Stefano Bernagozzi is a robotics researcher at the forefront of integrating 5G connectivity, formal verification, and autonomous systems. His work centers on making robots more capable and trustworthy in real-world, dynamic environments. Bernagozzi’s most impactful contribution is the development of a 5G-enabled tour guide robot, demonstrated as part of the 5G-TOURS EU project. This work, published in 2024 and already garnering 21 citations, showcases how low-latency 5G networks can power fully autonomous, interactive robotic guides in public spaces. Beyond deployment, Bernagozzi tackles the fundamental challenge of robot reasoning. He has pioneered methods for learning linear temporal logic (LTL) properties from execution traces, enabling robots to formally understand and explain their behavior—a critical step toward verifiable autonomy. His 2023 paper on this topic (6 citations) and his subsequent work on building a verifiable toolchain for robotics (2024, 4 citations) lay the groundwork for provably safe and reliable autonomous systems. By bridging cutting-edge wireless communication with formal methods, Bernagozzi is helping to shape the next generation of robots that are not only smarter, but also accountable.