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...

Ausführliche Beschreibung

Bibliographische Detailangaben
Hauptverfasser: Cardelli, L, Ceska, M, Fraenzle, M, Kwiatkowska, M, Laurenti, L, Paoletti, N, Whitby, M
Format: Conference item
Veröffentlicht: Springer 2017
Schlagworte: