7 citations · 27 across the 11 of their papers we have counts for
5 papers · 1 filter
ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
Eric Vin, Kyle A. Miller, Inigo Incer +2
Full verification of learning-enabled cyber-physical systems (CPS) has long been intractable due to challenges including black-box components and complex real-world environments. E…
Some Algebraic Aspects of Assume-Guarantee Reasoning
Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli
We present the algebra of assume-guarantee (AG) contracts. We define contracts, provide new as well as known operations, and show how these operations are related. Contracts are fu…
Context-Aided Variable Elimination for Requirement Engineering
Inigo Incer, Albert Benveniste, Richard M. Murray +2
Deriving system-level specifications from component specifications usually involves the elimination of variables that are not part of the interface of the top-level system. This pa…
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Inigo Incer, Apurva Badithela, Josefine Graebener +8
Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalabl…
Hypercontracts
Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli +1
Contract theories have been proposed to formally support distributed and decentralized system design while ensuring safe system integration. In this paper we propose hypercontracts…