@inproceedings{paoletti2014analyzing,
author = {Paoletti, Nicola and Yordanov, Boyan and Hamadi, Youssef and Wintersteiger, Christoph M. and Kugler, Hillel},
title = {Analyzing and Synthesizing Genomic Logic Functions},
booktitle = {26th International Conference on Computer Aided Verification (CAV)},
year = {2014},
month = {July},
abstract = {Deciphering the developmental program of an embryo is a fundamental question in biology. Landmark papers have recently shown how computational models of gene regulatory networks provide system-level causal understanding of the developmental processes of the sea urchin, and enable powerful predictive capabilities. A crucial aspect of the work is empirically deriving plausible models that explain all the known experimental data, a task that becomes infeasible in practice due to the inherent complexity of the biological systems. We present a generic Satisfiability Modulo Theories based approach to analyze and synthesize data constrained models. We apply our approach to the sea urchin embryo, and successfully improve the state-of-the-art by synthesizing, for the first time, models that explain all the experimental observations. A strength of the proposed approach is the combination of accurate synthesis procedures for deriving biologically plausible models with the ability to prove inconsistency results, showing that for a given set of experiments and possible class of models no solution exists, and thus enabling practical refutation of biological models.},
publisher = {Springer},
url = {http://approjects.co.za/?big=en-us/research/publication/analyzing-and-synthesizing-genomic-logic-functions/},
edition = {26th International Conference on Computer Aided Verification (CAV)},
}