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

From Murray Wiki
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

17 May 2024

9 October 2022

  • curprev 17:5217:52, 9 October 2022Murray talk contribs 1,088 bytes +5 No edit summary
  • curprev 17:5117:51, 9 October 2022Murray talk contribs 1,083 bytes +1,083 Created page with "{{Paper |Title=From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology |Authors=Ayush Pandey, Inigo Incer, Alberto Sangiovanni-Vincentelli, Richard M. Murray |Source=To appear, 2022 International Workshop on Biodesign Automation (IWBDA) |Abstract=We provide a new perspective on using formal methods to model specifications and synthesize implementations for the design of biological circuits. In synthetic biology, design objectives are rarely..."