Dino Mandrioli
Papers
8
Total Citations
212
H-Index
5
About
Dino Mandrioli is a leading researcher at the intersection of formal methods, safety engineering, and human-robot collaboration (HRC). His work addresses the critical challenge of ensuring safety in collaborative robotics, where humans and machines share a workspace. Mandrioli’s major contributions include developing automated formal verification techniques to assess and mitigate risks in HRC, as well as pioneering formal models of human erroneous behavior—a key factor often overlooked in safety analysis. His most cited paper, "Safety Assessment of Collaborative Robotics Through Automated Formal Verification" (2019), has garnered 71 citations, underscoring its influence on the field. He also led the development of the SAFER-HRC framework, which integrates formal verification into the design of collaborative robotic applications. With a portfolio of highly cited works, Mandrioli has shaped how researchers and engineers approach the safety of cyber-physical systems, particularly in manufacturing. His research offers a rigorous, human-in-the-loop perspective that is essential for advancing trustworthy automation.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4
- 5Formal Methods in Designing Critical Cyber-Physical Systems8 citations · 2019
- 6
- 7
- 8