Scholar
Enrico Tronci
Google Scholar ID: DQwPkskAAAAJ
Sapienza University of Rome
Computer Science
Intelligent Systems
Bioinformatics
Cyber Physical Systems
Smart Grids
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,541
H-index
31
i10-index
74
Publications
20
Co-authors
10
list available
Publications
1 items
SMC-ES: Automated synthesis of formally verified control policies
2026
Cited
0
Co-authors
3 total
Toni Mancini
Computer Science Department, Sapienza University of Rome, Italy
Alberto Finzi
Prof. Computer Science, Università di Napoli "Federico II"
AndreA Orlandini
Institute of Cognitive Science and Technology - National Research Council of Italy
