Syntax-guided optimal synthesis for chemical reaction networks
We study the problem of optimal syntax-guided synthesis of stochastic Chemical Reaction Networks (CRNs) that plays a fundamental role in design automation of molecular devices and in the construction of predictive biochemical models. We propose a sketching language for CRNs that concisely captures s...
Main Authors: | Cardelli, L, Ceska, M, Fraenzle, M, Kwiatkowska, M, Laurenti, L, Paoletti, N, Whitby, M |
---|---|
Format: | Conference item |
Published: |
Springer
2017
|
Subjects: |
Similar Items
-
Chemical reaction network designs for asynchronous logic circuits
by: Cardelli, L, et al.
Published: (2017) -
Chemical reaction network designs for asynchronous logic circuits
by: Cardelli, L, et al.
Published: (2016) -
Programming discrete distributions with chemical reaction networks
by: Cardelli, L, et al.
Published: (2017) -
Programming discrete distributions with chemical reaction networks
by: Cardelli, L, et al.
Published: (2016) -
Stochastic analysis of chemical reaction networks using linear noise approximation
by: Cardelli, L, et al.
Published: (2016)