Syntax-Guided Optimal Synthesis for Chemical Reaction Networks
- Submitting institution
-
Royal Holloway and Bedford New College
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 31307846
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-319-63390-9_20
- Title of conference / published proceedings
- Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
- First page
- 375
- Volume
- 10427
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- July
- Year of publication
- 2017
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
6
- Research group(s)
-
-
- Citation count
- 11
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Chemical Reaction Networks (CRNs) is one of the main modelling languages for biological systems and an important model of computation. Formal synthesis of CRNs from specifications is a key problem in synthetic biology as it enables automated design of molecular devices. In this work, we introduce a new method for the optimal syntax-guided synthesis of stochastic CRNs, the first that can synthesize both rate parameters and structure of the network. The paper appeared in CAV, the leading conference in verification, and has been referenced since then in literature on formal analysis of biological systems, stochastic systems, and distributed computation.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -