39 citations · 55 across the 11 of their papers we have counts for
1 paper · 1 filter
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…