Livia Lestingi
Papers
13
Total Citations
120
H-Index
7
About
Livia Lestingi is a researcher at the forefront of human-robot interaction (HRI), formal verification, and model-driven development, with a particular focus on making robotic systems safe, dependable, and deployable in real-world service environments. Her work addresses one of the field's most pressing challenges: ensuring that robots operating alongside humans in healthcare, assistive care, and collaborative industrial settings behave reliably despite the inherent unpredictability of human behavior. Lestingi's most significant contributions include developing frameworks that combine formal modeling and stochastic verification to analyze interactive robotic scenarios, enabling developers to anticipate and mitigate risks before deployment. Her model-driven approaches bridge the gap between high-level system specification and executable robotic code, streamlining the development of safety-critical applications. Her 2023 paper on stochastic modeling of service robotic applications has already garnered 21 citations, reflecting strong community uptake. Beyond robotics, her recent work on explainability requirements in software-intensive systems demonstrates a broadening research vision, tackling transparency and trust in autonomous decision-making. With a growing body of work accumulating over 100 citations across just a few years, Lestingi is establishing herself as a significant voice in rigorous, human-centered robotics engineering.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3Formal Verification of Human-Robot Interaction in Healthcare Scenarios14 citations · 2020
- 4A Deployment Framework for Formally Verified Human-Robot Interactions12 citations · 2021
- 5
- 6
- 7
- 8
- 9
- 10