[MWA19]
Gareth W. Molyneu, Viraj B. Wijesuriya and Alessandro Abate.
Bayesian Verification of Chemical Reaction Networks.
In Proc. International Symposium on Formal Methods (FM'19) Workshops, pages 461-479.
2019.
[Presents a bayesian approach to verification of chemical reaction networks, using PRISM's parametric model checking functionality.]
|
Site hosted at the Department of Computer Science, University of Oxford