Davide Marinaro
Papers
1
Total Citations
4
H-Index
1
About
Davide Marinaro is a researcher at the intersection of formal methods and interactive service robotics, with a primary focus on ensuring safety and reliability in human–robot collaboration. His most-cited work, "Analyzing the impact of human errors on interactive service robotic scenarios via formal verification" (2023), addresses a critical challenge in deploying robots in unconstrained service environments: the unpredictability of human behavior. By applying formal verification techniques, Marinaro systematically models and analyzes how human deviations from planned actions can lead to system failures, providing a rigorous framework for designing more resilient robotic applications. This contribution is particularly valuable for sectors like healthcare, hospitality, and domestic assistance, where safe human–robot interaction is paramount. Although his citation count is still growing—with 4 citations on his top paper—his work represents a foundational step in bridging the gap between formal methods and real-world robotic deployment. Marinaro’s research is essential reading for engineers and researchers developing interactive robotic systems that must operate reliably alongside unpredictable human partners.
Research Focus
Key Achievements
Top Papers
- 1