Bayesian Verification of Chemical Reaction Networks. - Gareth W. Molyneux; Viraj B. Wijesuriya; Alessandro Abate (FM Workshops (2), 2019)

ABC(SMC)2: Simultaneous Inference and Model Checking of Chemical Reaction Networks. - Gareth W. Molyneux; Alessandro Abate (CMSB, 2020)