Scholar
Bruno Guindani
Google Scholar ID: XjdkCTQAAAAJ
Politecnico di Milano
Bayesian statistics
Bayesian Optimization
Machine Learning
Formal methods
Digital Twin
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
63
H-index
5
i10-index
2
Publications
19
Co-authors
0
Publications
2 items
Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
2026
Cited
0
Automated Detection and Mitigation of Dependability Failures in Healthcare Scenarios through Digital Twins
2026
Cited
0
