Davide Zerla
Papers
1
Total Citations
21
H-Index
1
About
Davide Zerla is a leading researcher in the formal specification, stochastic modeling, and analysis of interactive service robotic applications. His work bridges the gap between theoretical computer science and practical robotics, focusing on ensuring reliability and performance in human-robot interaction systems. Zerla’s most-cited paper, "Specification, stochastic modeling and analysis of interactive service robotic applications" (2023), has garnered 21 citations, establishing a foundational framework for modeling uncertain behaviors in service robots. He develops probabilistic models and verification techniques that enable engineers to predict system behavior under real-world variability, directly impacting the design of autonomous assistants in healthcare, hospitality, and domestic settings. Zerla’s contributions are notable for integrating formal methods with stochastic processes, allowing for rigorous analysis of timing, safety, and resource constraints. His work has been recognized for advancing the dependability of interactive robotic systems, making him a key figure in the emerging field of trustworthy service robotics. For students and researchers, Zerla’s research offers a clear pathway to applying formal modeling in cutting-edge robotic applications.
Research Focus
Key Achievements
Top Papers
- 1