Scholar
Toni Mancini
Google Scholar ID: uNjmJHUAAAAJ
Computer Science Department, Sapienza University of Rome, Italy
Artificial Intelligence
Formal Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,947
H-index
29
i10-index
55
Publications
20
Co-authors
38
list available
Publications
1 items
SMC-ES: Automated synthesis of formally verified control policies
2026
Cited
0
Co-authors
4 total
Enrico Tronci
Sapienza University of Rome
Marco Gavanelli
Associate Professor, Ferrara University
Fabio Patrizi
Associate Professor, DIAG - Sapienza University of Rome
Giuseppe De Giacomo
University of Oxford & Sapienza Università di Roma
