Pasquale Scarmozzino
Papers
1
Total Citations
11
H-Index
1
About
Pasquale Scarmozzino is a researcher at the forefront of formal methods for multi-robot systems, with a focus on service robotics in human-centric environments. His work addresses the critical challenge of ensuring reliability and safety in complex, interactive scenarios where multiple robots collaborate with humans, such as in 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 rigorous approach to model and verify multi-agent robotic applications, tackling the unpredictability of human behavior and the complexity of coordination. This contribution stands out for bridging the gap between formal verification techniques and practical robotic deployment, offering a foundation for trustworthy autonomous systems. Scarmozzino’s research is pivotal for advancing the dependability of service robots, with potential impacts on real-world applications ranging from hospital logistics to home care. His work continues to influence the development of safe, verifiable multi-robot systems, making him a notable figure in the intersection of robotics, formal methods, and human-robot interaction.
Research Focus
Key Achievements
Top Papers
- 1