Marcello M. Bersani
Papers
13
Total Citations
144
H-Index
8
About
Marcello M. Bersani is a leading researcher at the intersection of formal methods, robotics, and human-robot interaction (HRI). His work focuses on developing rigorous, model-driven approaches to ensure the safety, reliability, and trustworthiness of robotic systems, particularly in complex, human-centric environments like healthcare and domestic assistance. Bersani's major contributions include the creation of frameworks such as PuRSUE, which synthesizes controllers from formal specifications, and RoboMAX, an exemplar repository for robotic self-adaptation. His research on formal verification of HRI has garnered significant attention, with papers like "Specification, Stochastic Modeling and Analysis of Interactive Service Robotic Applications" (2023) and "PuRSUE" (2020) each accumulating 21 citations. He has also advanced the field of explainability in software-intensive systems, addressing the black-box nature of autonomous decision-making. Bersani’s work is notable for its practical impact, bridging the gap between theoretical formal methods and real-world robotic applications, and his contributions to teaching formal methods underscore his commitment to education. With over 130 citations across his top papers, Bersani is shaping the future of dependable, interactive robotics.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3RoboMAX: Robotic Mission Adaptation eXemplars20 citations · 2021
- 4Formal Verification of Human-Robot Interaction in Healthcare Scenarios14 citations · 2020
- 5A Deployment Framework for Formally Verified Human-Robot Interactions12 citations · 2021
- 6
- 7
- 8
- 9Teaching Formal Methods: An Experience Report7 citations · 2020
- 10