Alba Gragera

Papers

Total Citations

H-Index

About

Alba Gragera is a researcher at the forefront of social autonomous robotics, with a primary focus on the formal modelling and design of human-robot interaction systems. Her most cited work, "A Modelling and Formalisation Tool for Use Case Design in Social Autonomous Robotics" (2019), introduces a structured approach to translating complex social scenarios into verifiable robotic behaviours, bridging the gap between abstract human expectations and concrete machine actions. This contribution addresses a critical challenge in the field: ensuring that autonomous robots can operate safely and intuitively in human-centred environments. While her citation count is still building—with this key paper accumulating 3 citations—its impact lies in laying foundational groundwork for more rigorous, formal methods in social robotics design. Gragera’s work is particularly notable for its emphasis on use case formalisation, which enables developers to model, test, and refine robotic responses before deployment. Her research is essential reading for students and engineers seeking to move beyond ad hoc interaction design toward systematic, reliable human-robot collaboration. As the field of social robotics matures, Gragera’s formal tools are poised to become standard practice for ensuring that autonomous systems are not only functional but also socially aware and trustworthy.