Angelo Ferrando
University of Manchester, University of Liverpool, University of Genoa
Papers
14
Total Citations
198
H-Index
7
About
Angelo Ferrando is a leading researcher in the formal verification and validation of autonomous robotic systems, with a particular focus on runtime verification (RV) for safety-critical applications. His work bridges the gap between theoretical formal methods and practical robotic deployments, addressing challenges in inspection robots, space debris removal, and multi-agent systems. Ferrando’s most cited paper, "An Overview of Verification and Validation Challenges for Inspection Robots" (2021, 60 citations), highlights the pressing need for reliable robots in hazardous environments like nuclear facilities and deep space. He is the architect of ROSMonitoring (2020, 49 citations), a pioneering runtime verification framework for the Robot Operating System (ROS), and has extended these techniques to chatbots with RV4Rasa (2023). His research on integrating formal verification with battery prognostics (2019, 17 citations) and predictive runtime verification (2021, 8 citations) demonstrates a commitment to ensuring both safety and operational longevity. Ferrando’s work on autonomous grasping for active debris removal (2022, 14 citations) showcases his contributions to space sustainability. With over 190 citations across his top papers, Ferrando is a key figure in making autonomous systems both agile and trustworthy, earning recognition for his innovative frameworks that enable verifiable, safe robotic behavior in real-world, high-stakes scenarios.
Research Focus
Key Achievements
Top Papers
- 1An Overview of Verification and Validation Challenges for Inspection Robots60 citations · 2021
- 2ROSMonitoring: A Runtime Verification Framework for ROS49 citations · 2020
- 3An Interface for Programming Verifiable Autonomous Agents in ROS21 citations · 2020
- 4
- 5
- 6
- 7
- 8
- 9
- 10