Model Revision from Temporal Logic Properties in Computational Systems Biology
Systems biologists build models of bio-molecular processes from knowledge acquired both at the gene and protein levels, and at the phenotype level through experiments done in …