Andrea Manglaviti

Papers

Total Citations

H-Index

About

Andrea Manglaviti is a researcher at the forefront of safe and reliable human-robot interaction, with a primary focus on formal verification methods for service robotics. Her work addresses a critical challenge in deploying robots in real-world settings: the unpredictable nature of human behavior. Manglaviti’s key contribution lies in developing rigorous, model-based techniques to analyze how human errors—such as miscommunication, hesitation, or unintended actions—can impact the success and safety of interactive robotic scenarios. Her most-cited paper, "Analyzing the impact of human errors on interactive service robotic scenarios via formal verification" (2023, 4 citations), demonstrates a pioneering approach to systematically modeling and verifying these complex interactions. By treating human deviation as a formal variable rather than an anomaly, Manglaviti provides a framework that allows roboticists to anticipate failure modes before deployment, enhancing trust and robustness in service robots. Her work is particularly relevant for applications in healthcare, hospitality, and domestic assistance, where human unpredictability is highest. Though early in her career, Manglaviti’s research is already shaping how the field approaches verification of human-aware autonomous systems, making her a promising voice in the quest for truly collaborative and resilient robotics.