Scholar
Marcello M. Bersani
Google Scholar ID: LDAOdHYAAAAJ
Post-doc researcher, Politecnico di Milano
Verification
Infinite State Systems
Model-Checking
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
438
H-index
13
i10-index
16
Publications
20
Co-authors
0
Publications
2 items
FormIDEAble: Safe and Socially-aware Autonomous Systems
2026
Cited
0
Automated Detection and Mitigation of Dependability Failures in Healthcare Scenarios through Digital Twins
2026
Cited
0
