Synthetic BiologybioRxivPreprint
From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology
Ayush Pandey, Inigo Incer, Alberto Luigi Sangiovanni-Vincentelli, Richard M. Murray
The paper introduces an assume-guarantee contract framework for formalizing and implementing biological circuit designs using ordinary differential equations.