Giorgio Romeo
Papers
1
Total Citations
11
H-Index
1
About
Giorgio Romeo is a leading researcher in the formal verification and safe deployment of multi-robot systems, with a particular focus on human-robot interaction in service settings. His work bridges the gap between theoretical computer science and practical robotics, addressing the critical challenge of ensuring reliability in complex, unpredictable environments like healthcare and domestic assistance. His most-cited paper, "Formal modeling and verification of multi-robot interactive scenarios in service settings" (2022, 11 citations), introduces a pioneering approach to model-checking multi-agent systems that accounts for the variability of human behavior—a problem that has long hindered real-world robotic applications. By developing rigorous formal methods for verification, Romeo enables the design of robots that can operate safely alongside humans, a key step toward widespread adoption. His contributions are particularly notable for tackling the "unpredictability bottleneck," offering a structured way to prove system correctness even when human actions are uncertain. As the field moves toward more autonomous service robots, Romeo’s work provides the foundational safety guarantees necessary for trust and scalability, making him a vital voice in the future of human-centered robotics.
Research Focus
Key Achievements
Top Papers
- 1