Formal characterization and efficient verification of a biological robustness property

Lucia Nasti, Roberta Gori, Paolo Milazzo

Robustness is an observable property for which a chemical reaction network (CRN) can maintain its functionalities despite the influence of different perturbations. In general, to v…