Inigo Incer

Papers

Total Citations

H-Index

About

Inigo Incer is a researcher advancing the formal foundations of cyber-physical systems (CPS) and autonomous mission planning. His work centers on the rigorous specification, refinement, and verification of complex systems using assume-guarantee contracts—a formalism that enables modular reasoning about system components and their interactions. In his most-cited paper (2023, 5 citations), Incer addresses the critical challenge of modeling and repairing formal specifications for robotic missions, introducing a framework that allows engineers to work at multiple levels of abstraction with pre-implemented specification libraries. This work directly tackles the brittleness of formal methods in dynamic environments. His second major contribution (2023, 3 citations) focuses on symbiotic design-space exploration for CPS, where he develops iterated optimization techniques to harmonize the diverse, domain-specific tools and workflows used by engineers. By enabling systematic exploration of design alternatives, Incer’s research bridges the gap between formal verification and practical engineering. His contributions are particularly impactful for autonomous systems, where correctness and adaptability are paramount. With a growing citation footprint, Incer is establishing himself as a key voice in the formal methods community, pushing toward more reliable and scalable CPS design.