Bayesian Verification of Chemical Reaction Networks

Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate

We present a data-driven verification approach that determines whether or not a given chemical reaction network (CRN) satisfies a given property, expressed as a formula in a modal…