All public logs

Combined display of all available logs of Murray Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 17:51, 9 October 2022 Murray talk contribs created page From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology (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...")