Luca Marinello
Papers
1
Total Citations
4
H-Index
1
About
Luca Marinello is a researcher at the forefront of formal verification and human-robot interaction, with a focus on enhancing the reliability and safety of service robotics. His work addresses the critical challenge of unconstrained human behavior in interactive robotic scenarios, where deviations from planned actions can lead to system failures. In his most-cited paper, "Analyzing the impact of human errors on interactive service robotic scenarios via formal verification" (2023, 4 citations), Marinello pioneers a rigorous approach to modeling and verifying the effects of human mistakes—such as miscommunication or unexpected movements—on robotic task outcomes. By applying formal methods, he provides a systematic framework to predict and mitigate these errors, ensuring more robust and trustworthy robotic systems in real-world environments like healthcare, hospitality, and logistics. This contribution is pivotal for advancing human-robot collaboration, as it bridges the gap between theoretical safety guarantees and practical deployment. Marinello’s work is gaining traction among researchers seeking to integrate formal verification into interactive robotics, marking him as an emerging voice in the quest for resilient, human-aware automation.
Research Focus
Key Achievements
Top Papers
- 1