Scholar
Simone Fulvio Rollini
Google Scholar ID: I4K2Jr4AAAAJ
University of Lugano
SAT
SMT
Formal Verification
Proof Compression
Craig interpolation
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
63
H-index
5
i10-index
2
Publications
20
Co-authors
0
Publications
1 items
Design and Validation of Learning Aware HMI For Learning-Enabled Increasingly Autonomous Systems
2025
Cited
0
