Scholar
Inigo Incer
Google Scholar ID: dgWdZ8EAAAAJ
University of Michigan
Design Automation
Formal Methods
Cyber-Physical Systems
System Design
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
358
H-index
8
i10-index
8
Publications
20
Co-authors
0
Publications
3 items
Synthesizing Voltage Ride-Through Controllers for Data Centers
2026
Cited
0
ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
2025
Cited
0
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
2025
Cited
0
