2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.CE2021★ 2 cited
Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity
Lucia Nasti, Roberta Gori, Paolo Milazzo +1
Motivation: A Chemical Reaction Network (CRN) is a set of chemical reactions, which can be very complex and difficult to analyze. Indeed, dynamical properties of CRNs can be descri…
cs.FL2021
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…