Search Results

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design

• Authors : Incer, Inigo; Badithela, Apurva; Graebener, Josefine B.

Subjects: assume-guarantee reasoning; contracts; system-level design

• Source: ACM Transactions on Cyber-Physical Systems, 9(1), Article No.: 3, Pages 1 - 35, (2025-01)

Record details

Contracts of Reactivity

• Authors : Phan-Minh, Tung; Murray, Richard M.

Subjects: Design by contracts; Modeling uncertainties; Formal specifications

• Source: 2021 European Control Conference (ECC), Delft, Netherlands, 29 June-2 July 2021

Record details

Venture capital contracts

• Authors : Ewens, Michael; Gorbenko, Alexander; Korteweg, Arthur

Subjects: Venture capital; Contracts; Entrepreneurship

• Source: Journal of Financial Economics, 143(1), 131-158, (2022-01)

Record details

Worker-firm relational contracts in the time of shutdowns: experimental evidence

• Authors : Linardi, Sera; Camerer, Colin

Subjects: Relational contracts; Gift exchange; Labor markets

• Source: Experimental Economics, 24(4), 1267-1293, (2021-12)

Record details

Robustness of Relational Contracts to Interruptions in Employer-Worker Gift Exchange Experiments

• Authors : Camerer, Colin; Linardi, Sera

Subjects: experimental economics; gift exchange; relational contracts

Record details

On sufficient conditions for the existence of stable matchings with contracts

• Authors : Zhang, Jun

Subjects: Many-to-one matching; Stability; Substitutability

• Source: Economics Letters, 145, 230-234, (2016-08)

Record details

Safety-Critical Control Synthesis for Network Systems With Control Barrier Functions and Assume-Guarantee Contracts

• Authors : Chen, Yuxiao; Anderson, James; Kalsi, Karan

Subjects: Electrical safety; networked control systems

• Source: IEEE Transactions on Control of Network Systems, 8(1), 487-499, (2021-03)

Record details

From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology

• Authors : Pandey, Ayush; Incer, Inigo; Sangiovanni-Vincentelli, Alberto

Record details

Contracts vs. Salaries in Matching

• Authors : Echenique, Federico

Subjects: Contracts; Substitutes; Gross Substitutes

Record details

Compositional Set Invariance in Network Systems with Assume-Guarantee Contracts

• Authors : Chen, Yuxiao; Anderson, James; Kalsi, Karan

• Source: 2019 American Control Conference (ACC), Philadelphia, PA, 10-12 July 2019

Record details