|
[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.]
|
|
Links:
[Google]
[Google Scholar]
|